From 9ec6ce7b5a09d16f8bdb19e8140d7cae534f2ecb Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Fri, 20 Aug 2021 19:33:39 +0200
Subject: Make Xtext CodeMirror more robust

---
 language-web/src/main/js/editor/EditorButtons.jsx | 1 +
 1 file changed, 1 insertion(+)

(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 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(() => {
         size='small'
         className={classes.iconButton}
         aria-label='Show line numbers'
+        value='show-line-numbers'
       >
         <FormatListNumberedIcon fontSize='small'/>
       </ToggleButton>
-- 
cgit v1.2.3-70-g09d2