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/main-window.h	Sat Jun 04 21:52:20 2022 +0200
+++ b/libgui/src/main-window.h	Sat Jun 04 22:17:58 2022 +0200
@@ -129,6 +129,8 @@
     void interpreter_event (const fcn_callback& fcn);
     void interpreter_event (const meth_callback& meth);
 
+    void execute_command_signal (const QString& command);
+
   public slots:
 
     void focus_changed (QWidget *w_old, QWidget *w_new);