diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2021-08-20 19:33:39 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2021-08-20 19:33:39 +0200 |
commit | 9ec6ce7b5a09d16f8bdb19e8140d7cae534f2ecb (patch) | |
tree | 305fa9342853d19b40613fedb6fb2adc01581b2e /language-web/src/main/js/editor/EditorButtons.jsx | |
parent | Simplify node naming (diff) | |
download | refinery-9ec6ce7b5a09d16f8bdb19e8140d7cae534f2ecb.tar.gz refinery-9ec6ce7b5a09d16f8bdb19e8140d7cae534f2ecb.tar.zst refinery-9ec6ce7b5a09d16f8bdb19e8140d7cae534f2ecb.zip |
Make Xtext CodeMirror more robust
Diffstat (limited to 'language-web/src/main/js/editor/EditorButtons.jsx')
-rw-r--r-- | language-web/src/main/js/editor/EditorButtons.jsx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language-web/src/main/js/editor/EditorButtons.jsx b/language-web/src/main/js/editor/EditorButtons.jsx index f67afdbf..18139bd4 100644 --- a/language-web/src/main/js/editor/EditorButtons.jsx +++ b/language-web/src/main/js/editor/EditorButtons.jsx | |||
@@ -62,6 +62,7 @@ export default observer(() => { | |||
62 | size='small' | 62 | size='small' |
63 | className={classes.iconButton} | 63 | className={classes.iconButton} |
64 | aria-label='Show line numbers' | 64 | aria-label='Show line numbers' |
65 | value='show-line-numbers' | ||
65 | > | 66 | > |
66 | <FormatListNumberedIcon fontSize='small'/> | 67 | <FormatListNumberedIcon fontSize='small'/> |
67 | </ToggleButton> | 68 | </ToggleButton> |