Elgato_dark/void
1
0
Fork 0
mirror of https://github.com/voideditor/void synced 2026-05-24 09:58:23 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

scrollbars

Browse source
This commit is contained in:
Mathew Pareles 2025-01-06 19:15:41 -08:00
parent a0672f845d
commit 86346f1bf0
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/vs/workbench/contrib/void/browser/react/src/util/inputs.tsx
View file

@ -12,6 +12,7 @@ import { Checkbox } from '../../../../../../../base/browser/ui/toggle/toggle.js'
import { CodeEditorWidget } from '../../../../../../../editor/browser/widget/codeEditor/codeEditorWidget.js' import { CodeEditorWidget } from '../../../../../../../editor/browser/widget/codeEditor/codeEditorWidget.js'
import { useAccessor } from './services.js'; import { useAccessor } from './services.js';
import { ScrollableElement } from '../../../../../../../base/browser/ui/scrollbar/scrollableElement.js';
// type guard // type guard
@ -202,7 +203,7 @@ export const VoidSelectBox = <T,>({ onChangeSelection, onCreateInstance, selectB
onCreateInstance?: ((instance: SelectBox) => void | IDisposable[]); onCreateInstance?: ((instance: SelectBox) => void | IDisposable[]);
selectBoxRef?: React.MutableRefObject<SelectBox | null>; selectBoxRef?: React.MutableRefObject<SelectBox | null>;
options: readonly { text: string, value: T }[]; options: readonly { text: string, value: T }[];
className?:string; className?: string;
}) => { }) => {
const accessor = useAccessor() const accessor = useAccessor()
const contextViewProvider = accessor.get('IContextViewService') const contextViewProvider = accessor.get('IContextViewService')
@ -319,8 +320,8 @@ export const VoidCodeEditor = ({ initValue, language }: { initValue: string, lan
scrollbar: { scrollbar: {
alwaysConsumeMouseWheel: false, alwaysConsumeMouseWheel: false,
vertical: 'hidden', // vertical: 'hidden',
horizontal: 'hidden', // horizontal: 'hidden',
verticalScrollbarSize: 8, verticalScrollbarSize: 8,
horizontalScrollbarSize: 8, horizontalScrollbarSize: 8,
}, },