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/EditorButtons.jsx | 13 +++++--------
 language-web/src/main/js/editor/EditorStore.jsx   |  6 ++++++
 2 files changed, 11 insertions(+), 8 deletions(-)

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

diff --git a/language-web/src/main/js/editor/EditorButtons.jsx b/language-web/src/main/js/editor/EditorButtons.jsx
index 422c8a6d..f67afdbf 100644
--- a/language-web/src/main/js/editor/EditorButtons.jsx
+++ b/language-web/src/main/js/editor/EditorButtons.jsx
@@ -13,17 +13,14 @@ import { useRootStore } from '../RootStore';
 
 const useStyles = makeStyles(theme => ({
   iconButton: {
-    padding: 8,
+    padding: 7,
     minWidth: 36,
+    border: 0,
+    color: theme.palette.text.primary,
     '&.MuiButtonGroup-groupedTextHorizontal': {
       borderRight: 0,
     },
   },
-  flatToggleButton: {
-    padding: 8,
-    border: 0,
-    color: theme.palette.text.primary,
-  },
   divider: {
     margin: theme.spacing(0.5),
   }
@@ -49,7 +46,7 @@ export default observer(() => {
           disabled={!editorStore.canRedo}
           onClick={() => editorStore.redo()}
           className={classes.iconButton}
-          aria-label='REdo'
+          aria-label='Redo'
         >
           <RedoIcon fontSize='small'/>
         </Button>
@@ -63,7 +60,7 @@ export default observer(() => {
         selected={editorStore.showLineNumbers}
         onChange={() => editorStore.toggleLineNumbers()}
         size='small'
-        className={classes.flatToggleButton}
+        className={classes.iconButton}
         aria-label='Show line numbers'
       >
         <FormatListNumberedIcon fontSize='small'/>
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