Search a Jupiter Option/Setting


#1

One of the main time consuming aspect we got on Jupiter is to find proper setting item in the Option menus.
Would be great to have a dynamic search field to isolate the settings. It would dynamically filter the settings of all the tabs as-you-type.