diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2021-07-05 14:43:51 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2021-07-05 14:43:51 +0200 |
| commit | b023fa155e066af953ff7b456f68a39c8cce1ebb (patch) | |
| tree | b1435d76116fcd57f42b30a538b4201612d82279 /language-web/src/main/js/editor/EditorStore.jsx | |
| parent | Fix typo in environmental variable name (diff) | |
| download | refinery-b023fa155e066af953ff7b456f68a39c8cce1ebb.tar.gz refinery-b023fa155e066af953ff7b456f68a39c8cce1ebb.tar.zst refinery-b023fa155e066af953ff7b456f68a39c8cce1ebb.zip | |
Appearance fixes
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 6b03b383..b6f9bc0a 100644 --- a/language-web/src/main/js/editor/EditorStore.jsx +++ b/language-web/src/main/js/editor/EditorStore.jsx | |||
| @@ -9,6 +9,8 @@ export default class EditorStore { | |||
| 9 | value = ''; | 9 | value = ''; |
| 10 | /** @type {boolean} */ | 10 | /** @type {boolean} */ |
| 11 | showLineNumbers = false; | 11 | showLineNumbers = false; |
| 12 | /** @type {boolean} */ | ||
| 13 | showLigatures = true; | ||
| 12 | 14 | ||
| 13 | constructor() { | 15 | constructor() { |
| 14 | this.atom = createAtom('EditorStore'); | 16 | this.atom = createAtom('EditorStore'); |
| @@ -78,4 +80,8 @@ export default class EditorStore { | |||
| 78 | toggleLineNumbers() { | 80 | toggleLineNumbers() { |
| 79 | this.showLineNumbers = !this.showLineNumbers; | 81 | this.showLineNumbers = !this.showLineNumbers; |
| 80 | } | 82 | } |
| 83 | |||
| 84 | toggleLigatures() { | ||
| 85 | this.showLigatures = !this.showLigatures; | ||
| 86 | } | ||
| 81 | } | 87 | } |