- BugFix: Keep groups panel hidden (if it were before) after pressing
F12 or F10;
- Refactorings in SearchBar code;
- Added support for Ctrl+F in Output tab.