From 7c7de905ca14b160ddad5d36356510a900d32dfa Mon Sep 17 00:00:00 2001
From: Fred Sauer <fredsa@google.com>
Date: Tue, 17 Feb 2026 23:26:36 -0800
Subject: [PATCH] Add missing historyKeymap

Fixes subtle copy/paste issues as the
O/S was responsible for undo/redo.
---
 src/ide/views/editors.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/ide/views/editors.ts b/src/ide/views/editors.ts
index 418b9bba..eea0501f 100644
--- a/src/ide/views/editors.ts
+++ b/src/ide/views/editors.ts
@@ -1,5 +1,5 @@
 import { closeBrackets, deleteBracketPair } from "@codemirror/autocomplete";
-import { defaultKeymap, history, indentWithTab } from "@codemirror/commands";
+import { defaultKeymap, history, historyKeymap, indentWithTab } from "@codemirror/commands";
 import { cpp } from "@codemirror/lang-cpp";
 import { markdown } from "@codemirror/lang-markdown";
 import { bracketMatching, foldGutter, indentOnInput, indentUnit } from "@codemirror/language";
@@ -169,6 +169,7 @@ export class SourceEditor implements ProjectView {
 
         // Undo history.
         history(),
+        keymap.of(historyKeymap),
 
         // Code fold gutter.
         foldGutter(),