View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0001747 | OpenMPT | User Interface | public | 2024-02-12 21:46 | 2024-02-12 21:46 |
| Reporter | 02FD | Assigned To | |||
| Priority | none | Severity | tweak | Reproducibility | have not tried |
| Status | new | Resolution | open | ||
| Product Version | OpenMPT 1.31.04.00 / libopenmpt 0.7.3 (upgrade first) | ||||
| Summary | 0001747: Search bar for miscellaneous options | ||||
| Description | 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. | ||||
| Tags | No tags attached. | ||||
| Has the bug occurred in previous versions? | |||||
| Tested code revision (in case you know it) | |||||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2024-02-12 21:46 | 02FD | New Issue |
