From 30fb40cc51788843f5c27997803d3bd0f679cd8f Mon Sep 17 00:00:00 2001 From: JensLincke Date: Fri, 15 Dec 2023 14:39:02 +0100 Subject: [PATCH] codemirror sandblocks experiments SQUASHED: AUTO-COMMIT-demos-tree-sitter-codemirror.md,AUTO-COMMIT-src-components-widgets-lively-code-mirror.html,AUTO-COMMIT-src-components-widgets-lively-code-mirror.js, --- demos/tree-sitter/codemirror.md | 72 ++++++++++++++++++- .../widgets/lively-code-mirror.html | 10 +++ 2 files changed, 79 insertions(+), 3 deletions(-) diff --git a/demos/tree-sitter/codemirror.md b/demos/tree-sitter/codemirror.md index 7875514a1..ed533f1a5 100644 --- a/demos/tree-sitter/codemirror.md +++ b/demos/tree-sitter/codemirror.md @@ -1,9 +1,75 @@ -# Code Mirror +# Code Mirror Shards Sandblocks Proof of Concept + +## Issues: + +- [ ] (cursor in/out) +- [ ] keep focus while typing +- [X] hide line numbers +- [X] hide scrollbars +- [ ] update RegExp match while editing + + +## Probe Example \ No newline at end of file diff --git a/src/components/widgets/lively-code-mirror.html b/src/components/widgets/lively-code-mirror.html index 8d21c787f..3829bface 100644 --- a/src/components/widgets/lively-code-mirror.html +++ b/src/components/widgets/lively-code-mirror.html @@ -257,6 +257,16 @@ overflow: hidden; } + + :host(.shard) .CodeMirror-gutters { + display: none + } + + :host(.shard) .CodeMirror-gutter-wrapper { + display: none + } + +