The disable-search-threshold which defines above which amount of options the search for a drop-down menu is enabled should be configured in a configuration file to ensure consistency and to allow adjustment.
Yes, that would work for consistency but it wouldn't allow for adjustment if another threshold is desired.
Hi Katrin, is this issue still in progress?
Not really, it's not a priority for the ETH right now.
Ok, I've hit the "Stop progress" button to update the state of the issue
I’m migrating issues, is this something that’s going to see further work in the semi immediate future? If not, please resolve this issue, if so, please migrate it to GitHub!