diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2022-11-27 23:08:56 +0100 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2022-12-09 00:07:38 +0100 |
| commit | c1a84f7dbbbfc867963b16dd7457c869e00d68b6 (patch) | |
| tree | fc8d28b1d4ac62bc76a2421d99ec369aa930f4f8 /subprojects/frontend/src/editor/indentationMarkerViewPlugin.ts | |
| parent | feat: add cardinality interval abstraction (diff) | |
| download | refinery-c1a84f7dbbbfc867963b16dd7457c869e00d68b6.tar.gz refinery-c1a84f7dbbbfc867963b16dd7457c869e00d68b6.tar.zst refinery-c1a84f7dbbbfc867963b16dd7457c869e00d68b6.zip | |
feat(frontend): scroll beyond last line in editor
Mimics the polular behavior from Codium.
Diffstat (limited to 'subprojects/frontend/src/editor/indentationMarkerViewPlugin.ts')
| -rw-r--r-- | subprojects/frontend/src/editor/indentationMarkerViewPlugin.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/frontend/src/editor/indentationMarkerViewPlugin.ts b/subprojects/frontend/src/editor/indentationMarkerViewPlugin.ts index d5ad536b..c9480c7d 100644 --- a/subprojects/frontend/src/editor/indentationMarkerViewPlugin.ts +++ b/subprojects/frontend/src/editor/indentationMarkerViewPlugin.ts | |||
| @@ -61,7 +61,7 @@ class IndentationWidget extends WidgetType { | |||
| 61 | 61 | ||
| 62 | const wrapper = document.createElement('span'); | 62 | const wrapper = document.createElement('span'); |
| 63 | wrapper.style.top = '0'; | 63 | wrapper.style.top = '0'; |
| 64 | wrapper.style.left = '4px'; | 64 | wrapper.style.left = '6px'; |
| 65 | wrapper.style.position = 'absolute'; | 65 | wrapper.style.position = 'absolute'; |
| 66 | wrapper.style.pointerEvents = 'none'; | 66 | wrapper.style.pointerEvents = 'none'; |
| 67 | 67 | ||