[🐛] Make the editor scroll properly

This commit is contained in:
FIameCaster 2023-10-22 23:48:24 +02:00
parent beebf83271
commit e1c6e82823

View file

@ -54,7 +54,7 @@ export default class EditorApp implements App {
</a> </a>
</div> </div>
</div> </div>
<div class="editor" style="flex:1;"></div> <div class="editor" style="flex:1;display:grid;overflow:scroll;"></div>
<style> <style>
.dropdown { .dropdown {
position: absolute; position: absolute;
@ -202,7 +202,7 @@ export default class EditorApp implements App {
.prism-code-editor { .prism-code-editor {
border-radius: 10px 10px 0 0; border-radius: 10px 10px 0 0;
caret-color: var(--text); caret-color: var(--text);
font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace; font-weight: 400;
--editor__bg: var(--base); --editor__bg: var(--base);
--widget__border: var(--mantle); --widget__border: var(--mantle);
--widget__bg: var(--crust); --widget__bg: var(--crust);
@ -223,8 +223,7 @@ export default class EditorApp implements App {
--editor__bg-scrollbar: 210, 10%, 35%; --editor__bg-scrollbar: 210, 10%, 35%;
--editor__bg-fold: #768390; --editor__bg-fold: #768390;
--bg-guide-indent: var(--surface-0); --bg-guide-indent: var(--surface-0);
color-scheme: dark; overflow: visible;
height: 100%;
} }
.prism-search * { .prism-search * {
font-family: 'Satoshi', sans-serif; font-family: 'Satoshi', sans-serif;