add cut shortcut
This commit is contained in:
parent
95a2557729
commit
4a647a3f26
39
src/index.js
39
src/index.js
@ -221,3 +221,42 @@ saveKarlkoderButton.onclick = () => {
|
|||||||
};
|
};
|
||||||
|
|
||||||
toggleSpriteEditorButton.addEventListener("click", () => spriteEditor.toggleEditor());
|
toggleSpriteEditorButton.addEventListener("click", () => spriteEditor.toggleEditor());
|
||||||
|
|
||||||
|
consoleInput.onkeydown = (ev) => {
|
||||||
|
if (ev.key !== "Enter") return;
|
||||||
|
|
||||||
|
const code = ev.target.value;
|
||||||
|
ev.target.value = "";
|
||||||
|
|
||||||
|
codeRunner.evaluateCode(code);
|
||||||
|
};
|
||||||
|
|
||||||
|
editor.commands.addCommand({
|
||||||
|
name: "cut",
|
||||||
|
bindKey: { win: "Ctrl-X" },
|
||||||
|
exec: function (editor) {
|
||||||
|
const cutLine = editor.selection.isEmpty();
|
||||||
|
const range = cutLine ? editor.selection.getLineRange() : editor.selection.getRange();
|
||||||
|
editor._emit("cut", range);
|
||||||
|
|
||||||
|
if (!range.isEmpty()) {
|
||||||
|
editor.session.remove(range);
|
||||||
|
}
|
||||||
|
editor.clearSelection();
|
||||||
|
},
|
||||||
|
scrollIntoView: "cursor",
|
||||||
|
multiSelectAction: "forEach",
|
||||||
|
readOnly: false,
|
||||||
|
});
|
||||||
|
|
||||||
|
function copy(text) {
|
||||||
|
const elem = document.createElement("input");
|
||||||
|
elem.value = text;
|
||||||
|
elem.display = "none";
|
||||||
|
document.body.appendChild(elem);
|
||||||
|
|
||||||
|
elem.select();
|
||||||
|
document.execCommand("copy");
|
||||||
|
|
||||||
|
requestAnimationFrame(() => elem.remove());
|
||||||
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user