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/EditorButtons.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/EditorButtons.jsx')
-rw-r--r-- | language-web/src/main/js/editor/EditorButtons.jsx | 13 |
1 files changed, 5 insertions, 8 deletions
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'; | |||
13 | 13 | ||
14 | const useStyles = makeStyles(theme => ({ | 14 | const useStyles = makeStyles(theme => ({ |
15 | iconButton: { | 15 | iconButton: { |
16 | padding: 8, | 16 | padding: 7, |
17 | minWidth: 36, | 17 | minWidth: 36, |
18 | border: 0, | ||
19 | color: theme.palette.text.primary, | ||
18 | '&.MuiButtonGroup-groupedTextHorizontal': { | 20 | '&.MuiButtonGroup-groupedTextHorizontal': { |
19 | borderRight: 0, | 21 | borderRight: 0, |
20 | }, | 22 | }, |
21 | }, | 23 | }, |
22 | flatToggleButton: { | ||
23 | padding: 8, | ||
24 | border: 0, | ||
25 | color: theme.palette.text.primary, | ||
26 | }, | ||
27 | divider: { | 24 | divider: { |
28 | margin: theme.spacing(0.5), | 25 | margin: theme.spacing(0.5), |
29 | } | 26 | } |
@@ -49,7 +46,7 @@ export default observer(() => { | |||
49 | disabled={!editorStore.canRedo} | 46 | disabled={!editorStore.canRedo} |
50 | onClick={() => editorStore.redo()} | 47 | onClick={() => editorStore.redo()} |
51 | className={classes.iconButton} | 48 | className={classes.iconButton} |
52 | aria-label='REdo' | 49 | aria-label='Redo' |
53 | > | 50 | > |
54 | <RedoIcon fontSize='small'/> | 51 | <RedoIcon fontSize='small'/> |
55 | </Button> | 52 | </Button> |
@@ -63,7 +60,7 @@ export default observer(() => { | |||
63 | selected={editorStore.showLineNumbers} | 60 | selected={editorStore.showLineNumbers} |
64 | onChange={() => editorStore.toggleLineNumbers()} | 61 | onChange={() => editorStore.toggleLineNumbers()} |
65 | size='small' | 62 | size='small' |
66 | className={classes.flatToggleButton} | 63 | className={classes.iconButton} |
67 | aria-label='Show line numbers' | 64 | aria-label='Show line numbers' |
68 | > | 65 | > |
69 | <FormatListNumberedIcon fontSize='small'/> | 66 | <FormatListNumberedIcon fontSize='small'/> |