Way better options dialog

This commit is contained in:
Jack Kingsman
2026-02-11 21:49:12 -08:00
parent 29f0518698
commit f3c3b84210
8 changed files with 881 additions and 410 deletions
+3 -2
View File
@@ -6,9 +6,10 @@ interface BotCodeEditorProps {
value: string;
onChange: (value: string) => void;
id?: string;
height?: string;
}
export function BotCodeEditor({ value, onChange, id }: BotCodeEditorProps) {
export function BotCodeEditor({ value, onChange, id, height = '256px' }: BotCodeEditorProps) {
return (
<div className="w-full overflow-hidden rounded-md border border-input">
<CodeMirror
@@ -16,7 +17,7 @@ export function BotCodeEditor({ value, onChange, id }: BotCodeEditorProps) {
onChange={onChange}
extensions={[python()]}
theme={oneDark}
height="256px"
height={height}
basicSetup={{
lineNumbers: true,
foldGutter: false,