Add checkbox to show/hide property filter in object inspector
Original Reporter info from Mantis: ptvs
-
Reporter name:
Original Reporter info from Mantis: ptvs
- Reporter name:
Description:
Some displays have low vertical resolution (768, 900) so every pixel counts.
I propose to add new option to show/hide property filter with default value set to true.
This patch:
- puts property filter to separate panel;
- adds "Show Property Filter" checkbox in Environment/Object Inspector options;
- adds "Show Property Filter" menu item in object inspector popup menu.
Mantis conversion info:
- Mantis ID: 35043
- Fixed in revision: r60406 (#6921b150)