diff options
author | 2021-07-05 14:43:51 +0200 | |
---|---|---|
committer | 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 | } |