better styles

This commit is contained in:
Mathew Pareles 2025-01-08 00:14:57 -08:00
parent 910ed7faa9
commit ce634eadaa
2 changed files with 10 additions and 8 deletions

View file

@ -366,7 +366,7 @@ export const SelectedFiles = (
initValue={selection.selectionStr!}
language={getLanguageFromFileName(selection.fileURI.path)}
maxHeight={100}
showScrollbars={false}
showScrollbars={true}
/>
</div>
}

View file

@ -322,17 +322,19 @@ export const VoidCodeEditor = ({ initValue, language, maxHeight, showScrollbars
wordWrap: 'off',
scrollbar: {
ignoreHorizontalScrollbarInContentHeight: true,
alwaysConsumeMouseWheel: false,
...!SHOW_SCROLLBARS ? {
...SHOW_SCROLLBARS ? {
vertical: 'auto',
verticalScrollbarSize: 8,
horizontal: 'auto',
horizontalScrollbarSize: 8,
} : {
vertical: 'hidden',
verticalScrollbarSize: 0,
// horizontal: 'hidden',
// horizontalScrollbarSize: 0,
} : {
verticalScrollbarSize: 8,
horizontal: 'auto',
horizontalScrollbarSize: 8,
ignoreHorizontalScrollbarInContentHeight: true,
},
},
scrollBeyondLastLine: false,