annoying option filter
Original Reporter info from Mantis: BeniBela @benibela
-
Reporter name: Benito van der Zander
Original Reporter info from Mantis: BeniBela @benibela
- Reporter name: Benito van der Zander
Description:
In the options dialog there is an edit box "(filter)" that can be used to search options, which is nice; however, if you delete the default "(filter)" text, to insert your filter, it always changes the edit box text back to "(filter)" which is quite annoying