more defensive underline cleraing on keyup (marimo-team#1473)

PatrickCleary · May 23, 2024 · aaec419 · aaec419
1 parent d5cbb24
commit aaec419
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/frontend/src/core/codemirror/go-to-definition/underline.ts b/frontend/src/core/codemirror/go-to-definition/underline.ts
@@ -133,10 +133,8 @@ class MetaUnderlineVariablePlugin {
  };
 
  private keyup = (event: KeyboardEvent) => {
- if (event.key === "Meta" || event.key === "Control") {
- this.commandKey = false;
- this.clearUnderline();
- }
+ this.commandKey = false;
+ this.clearUnderline();
  };
 
  private clearUnderline() {