*/
void toggleShowMenuBar();
- /** Sets up updates for "Open Preferred Search Tool" action. */
- void setupUpdateOpenPreferredSearchToolAction();
-
/** Updates "Open Preferred Search Tool" action. */
void updateOpenPreferredSearchToolAction();
/** Opens a terminal window for the current location. */
void openTerminal();
+ /** Focus a Terminal Panel. */
+ void focusTerminalPanel();
+
/** Opens the settings dialog for Dolphin. */
void editSettings();