diff options
author | 2021-07-01 23:54:32 +0200 | |
---|---|---|
committer | 2021-07-02 00:12:15 +0200 | |
commit | ef73394c3c8554719412c3bf763e2f8c90ffed56 (patch) | |
tree | 28f2635848c2540cef2d1200b753a1d8083ea956 /language-web/src/main/js/editor/EditorStore.jsx | |
parent | Add material-ui and mobx integration (diff) | |
download | refinery-ef73394c3c8554719412c3bf763e2f8c90ffed56.tar.gz refinery-ef73394c3c8554719412c3bf763e2f8c90ffed56.tar.zst refinery-ef73394c3c8554719412c3bf763e2f8c90ffed56.zip |
Material UI theming WIP
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 | } |