diff options
Diffstat (limited to 'language-web/src/main/js/editor/EditorStore.jsx')
-rw-r--r-- | language-web/src/main/js/editor/EditorStore.jsx | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/language-web/src/main/js/editor/EditorStore.jsx b/language-web/src/main/js/editor/EditorStore.jsx index 9c286c28..6b03b383 100644 --- a/language-web/src/main/js/editor/EditorStore.jsx +++ b/language-web/src/main/js/editor/EditorStore.jsx | |||
@@ -7,6 +7,8 @@ export default class EditorStore { | |||
7 | editor = null; | 7 | editor = null; |
8 | /** @type {string} */ | 8 | /** @type {string} */ |
9 | value = ''; | 9 | value = ''; |
10 | /** @type {boolean} */ | ||
11 | showLineNumbers = false; | ||
10 | 12 | ||
11 | constructor() { | 13 | constructor() { |
12 | this.atom = createAtom('EditorStore'); | 14 | this.atom = createAtom('EditorStore'); |
@@ -72,4 +74,8 @@ export default class EditorStore { | |||
72 | redo() { | 74 | redo() { |
73 | this.editor.redo(); | 75 | this.editor.redo(); |
74 | } | 76 | } |
77 | |||
78 | toggleLineNumbers() { | ||
79 | this.showLineNumbers = !this.showLineNumbers; | ||
80 | } | ||
75 | } | 81 | } |