More script editor options (#386)

* Options are responsive again (fix from previous changes)
* Better height control on the monaco container using flexbox.
* Added options for tab size, auto-detect indentation per-file, font family, and font ligatures.
This commit is contained in:
Snarling
2023-02-24 07:37:29 -05:00
committed by GitHub
parent ee3b220858
commit 4166c09bd4
5 changed files with 99 additions and 43 deletions
+6 -2
View File
@@ -1,8 +1,12 @@
export type WordWrapOptions = "on" | "off" | "bounded" | "wordWrapColumn";
export interface Options {
export type Options = {
theme: string;
insertSpaces: boolean;
tabSize: number;
detectIndentation: boolean;
fontFamily: string;
fontSize: number;
fontLigatures: boolean;
wordWrap: WordWrapOptions;
vim: boolean;
}
};