Interface EditSessionOptions

interface EditSessionOptions {
    firstLineNumber: number;
    foldStyle: "manual" | "markbegin" | "markbeginend";
    indentedSoftWrap: boolean;
    mode: string;
    navigateWithinSoftTabs: boolean;
    newLineMode: NewLineMode;
    overwrite: boolean;
    tabSize: number;
    useSoftTabs: boolean;
    useWorker: boolean;
    wrap: number | boolean | "off" | "free" | "printmargin";
    wrapMethod: "code" | "text" | "auto";
}