I’m not sure if that has any impact. “machine_id_filters” are a few random number to show options, and the UILogic.get_index is a method to get the index of the selected option so it would show the value after an option is selected and the machine_id_filters en filtered to only inlcude options that match the already selected filters.
Is there a different way to get the borders blue that does work for you? Maybe I can try that for me and see what happens. I got the current selectors based on this thread: Can I change the color of the selectbox widget? - #2 by andfanilo