allow executing a command in the new terminal widget * command-widget.cc (console::new_command_line): Allow a new command line with preset text; (console::execute_command): Slot for executing a command * command-widget.h, class console: new_command_line with optional string argument, new functions execute_command and get_console * main-window.cc (adopt_terminal_widget): connect execute command signal with related signal in terminal widget; (execute_command_in_terminal): in case of exp. terminal widget, emit new signal execute_command_signal * main-window.h: new signal execute_command_signal * terminal-dock-widget.cc (terminal_dock_widget): connect own execute signal to the slot in the console * terminal-dock-widget.h: new signal execute_command_signal

--- a/libgui/src/terminal-dock-widget.h	Sat Jun 04 21:52:20 2022 +0200
+++ b/libgui/src/terminal-dock-widget.h	Sat Jun 04 22:17:58 2022 +0200
@@ -72,6 +72,8 @@
 
     void interpreter_output_signal (const QString&);
 
+    void execute_command_signal (const QString&);
+
   public slots:
 
     void notice_settings (const gui_settings *settings);