User:Mifield/common/CodeEditor/config-example.js

$.codeEditor = $.extend( $.codeEditor, {	config: {

/* extended options */

hideScriptWarnings:             false, hideStylesheetWarnings:         false, hideConfidentialityWarning:     false, hideMaliciousCodeWarning:       false, hidePreviewTip:                 false, hideCopyrightWarning:           false, hideScriptDocumentationNotice:  false, hidePurgeCacheTip:              false, hideSpecialChars:               false, hideAllExtras:                  true, makeToolbarSticky:              true,

/* editor options */

//?		selectionStyle:             "line", "text", //		highlightActiveLine:        true,                 // default: true //		highlightSelectedWord:      true,                 // default: true //		readOnly:                   false,                // default: false // cursorStyle options:     "ace", "slim", "smooth", "wide" cursorStyle:                [ "smooth", "slim" ], // default: "ace" // mergeUndoDeltas options: true, false, "always" //		mergeUndoDeltas:            true, //		behavioursEnabled:          true, //		wrapBehavioursEnabled:      true,                 // default: (toolbar) // this is needed if editor is inside scrollable page autoScrollEditorIntoView:   true,                 // default: false // copy/cut the full line if selection is empty copyWithEmptySelection:     true,                 // default: false //		useSoftTabs:                false,                // default: false navigateWithinSoftTabs:     false,                // default: false //		enableMultiselect:          true,                 // default: true //		enableAutoIndent:           true, //		enableKeyboardAccessibility: true,

/* extension-defined editor options */

// the following options require ext-language_tools.js //		enableBasicAutocompletion:  true,                 // wiki default: true enableLiveAutocompletion:   true,                 // wiki default: false //		enableSnippets:             true,                 // wiki default: true // the following option requires ext-emmet.js and the emmet library //		enableEmmet:                true, // the following option requires ext-elastic_tabstops_lite.js //		useElasticTabstops:         true,

/* renderer options */

//		hScrollBarAlwaysVisible:    false,                // default: false vScrollBarAlwaysVisible:    true,                 // default: false //?		highlightGutterLine:        true, animatedScroll:             true,                 // default: false //		showInvisibles:             true,                 // default: (toolbar) //		showPrintMargin:            true, //		printMarginColumn:          80,                   // default: 80 // printMargin: shortcut for showPrintMargin and printMarginColumn // printMargin options:     false, //		printMargin:                80, fadeFoldWidgets:            true,                 // default: false //		showFoldWidgets:            true,                 // default: true //		showLineNumbers:            true,                 // default: true //		showGutter:                 true,                 // default: true //		displayIndentGuides:        true,                 // default: true //		highlightIndentGuides:      true, // fontSize options:       , "" fontSize:                   14,                   // default: 12(px) // fontFamily options:      "" //		fontFamily:                 "", // resize editor based on the contents of the editor // until the number of lines reaches maxLines // maxLines, minLines: maxLines:                   +Infinity, minLines:                   20, // number of page sizes to scroll after document end // scrollPastEnd options:  , true, false // (typical values are 0, 0.5, and 1) scrollPastEnd:              0.5,                  // default: 0 fixedWidthGutter:           true,                 // default: false theme:                      "ace/theme/dawn",     // default: "ace/theme/textmate" //		customScrollbar:            true,                 // default: false hasCssTransforms:           true,                 // default: false? // maxPixelHeight: maxPixelHeight:             window.visualViewport.height, useSvgGutterIcons:          true,                 // default: ?

/* mouseHandler options */

// scrollSpeed: //		scrollSpeed:                0, // dragDelay: //		dragDelay:                  0, //		dragEnabled:                true,                 // default: true // focusTimout: //		focusTimout:                0, //		tooltipFollowsMouse:        true,

/* sesion options */

//		firstLineNumber:            1,                    // default: 1 //		overwrite:                  false,                // default: false // newLineMode options:     "auto", "unix", "windows" //		newLineMode:                "unix", //		useWorker:                  true, //		useSoftTabs:                false, //		indentedSoftWrap:           true, //		navigateWithinSoftTabs:     false, // tabSize: //		tabSize:                    4, // wrap options:            "off", "free", "printmargin", //                         , //		wrap:                        "printmargin",        // default: (toolbar) // wrapMethod options:      "code", "text", "auto" //		wrapMethod:                 "auto", // foldStyle options:       "markbegin", "markbeginend", "manual" foldStyle:                  "markbeginend",       // default: markbegin? // mode:                    path to a mode, such as "ace/mode/text" //		mode:                       "ace/mode/text", } } );