diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2021-07-01 23:54:32 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 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 | } |