View Issue Details
|have not tried
|OpenMPT 1.31.04.00 / libopenmpt 0.7.3 (current stable)
|0001747: Search bar for miscellaneous options
Under OpenMPT Setup > General there's a list of "Miscellaneous Options" which, unlike compatibility settings and hidden settings, has no search bar for filtering the list. It would be nice if these options could be searched through.
|No tags attached.
|Has the bug occurred in previous versions?
|Tested code revision (in case you know it)