Skip to content

Commit b609b60

Browse files
Fix py-editor execute code on ctrl-enter (#2385)
* Fix dist path * Remove defaultKeymap * Return true from listener * Put defaultKeymap after custom key map
1 parent 100a1e4 commit b609b60

File tree

2 files changed

+5
-4
lines changed

2 files changed

+5
-4
lines changed

core/src/plugins/py-editor.js

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -426,16 +426,17 @@ const init = async (script, type, interpreter) => {
426426
// preserve user indentation, if any
427427
const indentation = /^([ \t]+)/m.test(doc) ? RegExp.$1 : " ";
428428

429-
const listener = () => runButton.click();
429+
const listener = () => !runButton.click();
430430
const editor = new EditorView({
431431
extensions: [
432432
indentUnit.of(indentation),
433433
new Compartment().of(python()),
434434
keymap.of([
435-
...defaultKeymap,
436435
{ key: "Ctrl-Enter", run: listener, preventDefault: true },
437436
{ key: "Cmd-Enter", run: listener, preventDefault: true },
438437
{ key: "Shift-Enter", run: listener, preventDefault: true },
438+
// Consider removing defaultKeymap as likely redundant with basicSetup
439+
...defaultKeymap,
439440
// @see https://codemirror.net/examples/tab/
440441
indentWithTab,
441442
]),

core/tests/manual/py-editor/issue-2056.html

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,8 @@
33
<head>
44
<meta charset="UTF-8">
55
<meta name="viewport" content="width=device-width, initial-scale=1.0">
6-
<link rel="stylesheet" href="../../dist/core.css">
7-
<script type="module" src="../../dist/core.js"></script>
6+
<link rel="stylesheet" href="../../../dist/core.css">
7+
<script type="module" src="../../../dist/core.js"></script>
88
</head>
99
<body>
1010
<script type="py-editor">

0 commit comments

Comments
 (0)