adding shortcut for setting focus to the find widget in the exp. console * command-widget.cc (command_widget): initialize new shortcut, connect slot for activating find widget to this shortcut; (notice_settings): set shortcut key sequence * command-widget.h: new shortcut * find-widget.cc (find_widget): initialize new flag for find widget being closeable or not, depending on close button; (activate_find): do not hide widget if visible but not closeable * find-widget.h: new class variable m_is_closeable

encoding=utf-8