[patch] SearchResultView: fix form hiding with AnchorDocking and implement shortcut for closing page.
Original Reporter info from Mantis: etrusco
-
Reporter name: Flávio Etrusco
Original Reporter info from Mantis: etrusco
- Reporter name: Flávio Etrusco
Description:
This patch:
- hides the form with Close instead if Hide;
- implement keyboard shortcuts for closing the current page, using the IDE configuration for "Close Editor Page".
Mantis conversion info:
- Mantis ID: 19939
- Version: 0.9.31 (SVN)
- Fixed in revision: r31940 (#f2de67ee)
- Target version: 0.99.0