|
|
@ -136,9 +136,10 @@ class Editor { |
|
|
|
langTools.addCompleter(flowCompleter) |
|
|
|
langTools.addCompleter(flowCompleter) |
|
|
|
|
|
|
|
|
|
|
|
// zoom with Ctrl+wheel
|
|
|
|
// zoom with Ctrl+wheel
|
|
|
|
window.addEventListener("wheel", (e) => { |
|
|
|
window.addEventListener('wheel', (e) => { |
|
|
|
if (e.ctrlKey && Math.abs(e.wheelY) > 5) |
|
|
|
if (e.ctrlKey && Math.abs(e.wheelY) > 5) { |
|
|
|
this.editorFontSize(e.wheelY > 0 ? 1 : -1) |
|
|
|
this.editorFontSize(e.wheelY > 0 ? 1 : -1) |
|
|
|
|
|
|
|
} |
|
|
|
}) |
|
|
|
}) |
|
|
|
|
|
|
|
|
|
|
|
// EVENTS LISTENERS
|
|
|
|
// EVENTS LISTENERS
|
|
|
|