UI: add cursor options to the script editor (#615)

This commit is contained in:
Aleksei Bezrodnov
2023-06-19 03:17:15 +02:00
committed by GitHub
parent 709875d9ca
commit 9e75621cd2
9 changed files with 70 additions and 16 deletions
+8
View File
@@ -1,4 +1,10 @@
import type { editor } from "monaco-editor";
export type WordWrapOptions = "on" | "off" | "bounded" | "wordWrapColumn";
export type CursorStyle = editor.IEditorOptions["cursorStyle"];
export type CursorBlinking = editor.IEditorOptions["cursorBlinking"];
export interface Options {
theme: string;
insertSpaces: boolean;
@@ -9,4 +15,6 @@ export interface Options {
fontLigatures: boolean;
wordWrap: WordWrapOptions;
vim: boolean;
cursorStyle: CursorStyle;
cursorBlinking: CursorBlinking;
}