aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/js
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2021-07-02 17:20:21 +0200
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2021-07-02 17:20:21 +0200
commit76713b81f6a6fa575a33600d3216541efa3a09ac (patch)
tree5d5c8c93c99382e9c5b1435bd247638c0c8c6be9 /language-web/src/main/js
parentAdd italic font (diff)
downloadrefinery-76713b81f6a6fa575a33600d3216541efa3a09ac.tar.gz
refinery-76713b81f6a6fa575a33600d3216541efa3a09ac.tar.zst
refinery-76713b81f6a6fa575a33600d3216541efa3a09ac.zip
JetBrains Mono font
Diffstat (limited to 'language-web/src/main/js')
-rw-r--r--language-web/src/main/js/editor/EditorButtons.jsx5
1 files changed, 4 insertions, 1 deletions
diff --git a/language-web/src/main/js/editor/EditorButtons.jsx b/language-web/src/main/js/editor/EditorButtons.jsx
index 62f82f29..422c8a6d 100644
--- a/language-web/src/main/js/editor/EditorButtons.jsx
+++ b/language-web/src/main/js/editor/EditorButtons.jsx
@@ -8,6 +8,7 @@ import FormatListNumberedIcon from '@material-ui/icons/FormatListNumbered';
8import RedoIcon from '@material-ui/icons/Redo'; 8import RedoIcon from '@material-ui/icons/Redo';
9import UndoIcon from '@material-ui/icons/Undo'; 9import UndoIcon from '@material-ui/icons/Undo';
10import ToggleButton from '@material-ui/lab/ToggleButton'; 10import ToggleButton from '@material-ui/lab/ToggleButton';
11
11import { useRootStore } from '../RootStore'; 12import { useRootStore } from '../RootStore';
12 13
13const useStyles = makeStyles(theme => ({ 14const useStyles = makeStyles(theme => ({
@@ -40,6 +41,7 @@ export default observer(() => {
40 disabled={!editorStore.canUndo} 41 disabled={!editorStore.canUndo}
41 onClick={() => editorStore.undo()} 42 onClick={() => editorStore.undo()}
42 className={classes.iconButton} 43 className={classes.iconButton}
44 aria-label='Undo'
43 > 45 >
44 <UndoIcon fontSize='small'/> 46 <UndoIcon fontSize='small'/>
45 </Button> 47 </Button>
@@ -47,6 +49,7 @@ export default observer(() => {
47 disabled={!editorStore.canRedo} 49 disabled={!editorStore.canRedo}
48 onClick={() => editorStore.redo()} 50 onClick={() => editorStore.redo()}
49 className={classes.iconButton} 51 className={classes.iconButton}
52 aria-label='REdo'
50 > 53 >
51 <RedoIcon fontSize='small'/> 54 <RedoIcon fontSize='small'/>
52 </Button> 55 </Button>
@@ -57,11 +60,11 @@ export default observer(() => {
57 className={classes.divider} 60 className={classes.divider}
58 /> 61 />
59 <ToggleButton 62 <ToggleButton
60 value='Show line numbers'
61 selected={editorStore.showLineNumbers} 63 selected={editorStore.showLineNumbers}
62 onChange={() => editorStore.toggleLineNumbers()} 64 onChange={() => editorStore.toggleLineNumbers()}
63 size='small' 65 size='small'
64 className={classes.flatToggleButton} 66 className={classes.flatToggleButton}
67 aria-label='Show line numbers'
65 > 68 >
66 <FormatListNumberedIcon fontSize='small'/> 69 <FormatListNumberedIcon fontSize='small'/>
67 </ToggleButton> 70 </ToggleButton>