fix(frontend): CodeMirror gutter accessibility

Gutters are aria-hidden, so no accessibility attributes should point at
them.

1 files changed, 3 insertions, 5 deletions

diff --git a/subprojects/frontend/src/editor/createEditorState.ts b/subprojects/frontend/src/editor/createEditorState.ts
index caaca7f5..7b0f3c07 100644
--- a/subprojects/frontend/src/editor/createEditorState.ts
+++ b/subprojects/frontend/src/editor/createEditorState.ts
@@ -86,16 +86,14 @@ export default function createEditorState(
       }),
       foldGutter({
         markerDOM(open) {
-          const button = document.createElement('button');
-          button.className = [
+          const div = document.createElement('div');
+          div.className = [
             editorClassNames.foldMarker,
             open
               ? editorClassNames.foldMarkerOpen
               : editorClassNames.foldMarkerClosed,
           ].join(' ');
-          button.ariaPressed = open ? 'true' : 'false';
-          button.ariaLabel = 'Fold lines';
-          return button;
+          return div;
         },
       }),
       keymap.of([