Allow copy-pasting dev-server-token (#11992)

Release Notes: - N/A
2024-05-17 16:41:46 -06:00
parent 84affa96ff
commit 1f611a9c90
10 changed files with 184 additions and 44 deletions
@@ -191,6 +191,12 @@
      "ctrl-shift-enter": "editor::NewlineBelow"
    }
  },
+  {
+    "context": "Markdown",
+    "bindings": {
+      "ctrl-c": "markdown::Copy"
+    }
+  },
  {
    "context": "AssistantPanel",
    "bindings": {