Merge branch 'main' into panels

2023-05-10 15:23:37 +02:00
parent f28eee88b6 eec60556ab
commit cdcb7c8084
16 changed files with 839 additions and 131 deletions
@@ -199,6 +199,18 @@
      "shift-enter": "search::SelectPrevMatch"
    }
  },
+  {
+    "context": "ProjectSearchBar > Editor",
+    "bindings": {
+      "escape": "project_search::ToggleFocus"
+    }
+  },
+  {
+    "context": "ProjectSearchView > Editor",
+    "bindings": {
+      "escape": "project_search::ToggleFocus"
+    }
+  },
  {
    "context": "Pane",
    "bindings": {