From b023fa155e066af953ff7b456f68a39c8cce1ebb Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Mon, 5 Jul 2021 14:43:51 +0200
Subject: Appearance fixes

---
 language-web/src/main/js/editor/EditorStore.jsx | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'language-web/src/main/js/editor/EditorStore.jsx')

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 {
   value = '';
   /** @type {boolean} */
   showLineNumbers = false;
+  /** @type {boolean} */
+  showLigatures = true;
 
   constructor() {
     this.atom = createAtom('EditorStore');
@@ -78,4 +80,8 @@ export default class EditorStore {
   toggleLineNumbers() {
     this.showLineNumbers = !this.showLineNumbers;
   }
+
+  toggleLigatures() {
+    this.showLigatures = !this.showLigatures;
+  }
 }
-- 
cgit v1.2.3-70-g09d2