IDE: Tools -> Options: Filter non-functional
Original Reporter info from Mantis: Hansaplast
-
Reporter name: Hans Luijten
Original Reporter info from Mantis: Hansaplast
- Reporter name: Hans Luijten
Description:
When trying to filter settings under Tools-Options, the filter can be clicked, the text "(filter)" disappears, but one cannot type anything there.
Steps to reproduce:
Open the menu Tools -> Options.
Click in the filter field (upper left corner).
Try to type something.
Additional information:
This might not be specific for this version.
I never used it before, so I have noticed it before.
It does happen in Lazarus 1.6 (release) as well.
Mantis conversion info:
- Mantis ID: 30491
- OS: MacOS X
- OS Build: 10.11
- Build: 52835
- Platform: Carbon
- Version: 1.7 (SVN)