Allow certain shortcuts to reach terminal when focused (#1761)

Co-authored-by: Ryan Kornheisl <ryan@skarva.tech>

Author: jeremypw

src/MainWindow.vala

@@ -492,6 +492,10 @@ public class Scratch.MainWindow : Hdy.Window {
             visible = false
         };
 
+        terminal.terminal.notify["is-focus"].connect (() => {
+            on_terminal_focus_change ();
+        });
+
         var view_grid = new Gtk.Grid () {
             orientation = Gtk.Orientation.VERTICAL
         };
@@ -619,6 +623,27 @@ public class Scratch.MainWindow : Hdy.Window {
         set_widgets_sensitive (false);
     }
 
+    private bool on_terminal_focus_change () {
+        var focused = terminal.terminal.is_focus;
+        //<Control>r +- shift
+        Utils.action_from_group (ACTION_SHOW_REPLACE, actions).set_enabled (!focused);
+        Utils.action_from_group (ACTION_RESTORE_PROJECT_DOCS, actions).set_enabled (!focused);
+        //<Control>z +- shift
+        Utils.action_from_group (ACTION_UNDO, actions).set_enabled (!focused);
+        Utils.action_from_group (ACTION_REDO, actions).set_enabled (!focused);
+
+        //<Control>u
+        Utils.action_from_group (ACTION_TO_UPPER_CASE, actions).set_enabled (!focused);
+
+        //<Control>k +- shift
+        Utils.action_from_group (ACTION_DUPLICATE_TAB, actions).set_enabled (!focused);
+        Utils.action_from_group (ACTION_CLEAR_LINES, actions).set_enabled (!focused);
+
+        //<Control>l
+        Utils.action_from_group (ACTION_TO_LOWER_CASE, actions).set_enabled (!focused);
+        return false;
+    }
+
     private void open_binary (File file) {
         if (!file.query_exists ()) {
             return;