/**
 * @interface CodeEditorOptions
 */
export interface CodeEditorOptions {
    selectionStyle: 'line';
    highlightActiveLine: true;
    highlightSelectedWord: true;
    readOnly: false;
    cursorStyle: 'ace';
    mergeUndoDeltas: true;
    behavioursEnabled: true;
    wrapBehavioursEnabled: true;
    autoScrollEditorIntoView: undefined;
    keyboardHandler: null;
    animatedScroll: false;
    displayIndentGuides: false;
    showInvisibles: false;
    showPrintMargin: true;
    printMarginColumn: 80;
    printMargin: undefined;
    showGutter: true;
    fadeFoldWidgets: false;
    showFoldWidgets: true;
    showLineNumbers: true;
    highlightGutterLine: false;
    hScrollBarAlwaysVisible: false;
    vScrollBarAlwaysVisible: false;
    fontSize: 12;
    fontFamily: undefined;
    maxLines: undefined;
    minLines: undefined;
    maxPixelHeight: 0;
    scrollPastEnd: 0;
    fixedWidthGutter: false;
    theme: 'ace/theme/textmate';
    scrollSpeed: 2;
    dragDelay: 0;
    dragEnabled: true;
    focusTimout: 0;
    tooltipFollowsMouse: true;
    firstLineNumber: 1;
    overwrite: false;
    newLineMode: 'auto';
    useWorker: true;
    useSoftTabs: true;
    tabSize: 4;
    wrap: false;
    indentedSoftWrap: true;
    foldStyle: 'markbegin';
    mode: 'ace/mode/html';
}
