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 | |
| 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')
| -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> |