User:10SecondsToWaste/global.js

// From https://github.com/ajaxorg/ace/wiki/Configuring-Ace

window.aceCustomSettings = { // Editor selectionStyle: 'line', highlightActiveLine: true, highlightSelectedWord: true, readOnly: false, cursorStyle: 'smooth slim', mergeUndoDeltas: true, behavioursEnabled: true, wrapBehavioursEnabled: true, autoScrollEditorIntoView: true, copyWithEmptySelection: false, useSoftTabs: false, navigateWithinSoftTabs: false, enableMultiselect: true, enableAutoIndent: true, // Renderer hScrollBarAlwaysVisible: false, vScrollBarAlwaysVisible: false, highlightGutterLine: true, animatedScroll: true, showInvisibles: false, showPrintMargin: true, printMarginColumn: 80, fadeFoldWidgets: true, showFoldWidgets: true, showLineNumbers: true, showGutter: true, displayIndentGuides: true, // highlightIndentGuides: true, // fontSize: 14, // fontFamily: 'Consolas', // maxLines: 200, // minLines: 25, scrollPastEnd: 0, fixedWidthGutter: true, theme: 'ace/theme/dawn', customScrollbar: true, hasCssTransforms: true, // maxPixelHeight: null, useSvgGutterIcon: true, // Mouse handler scrollSpeed: 2, dragDelay: 0, dragEnabled: true, focusTimeout: 0, tooltipFollowsMouse: true, // Session firstLineNumber: 1, overwrite: false, newLineMode: 'auto', useWorker: true, indentedSoftWrap: true, tabSize: 4, wrap: true, wrapMethod: 'code', foldStyle: 'markbeginend', // mode: null, // Extension // enableBasicAutocompletion: true, // enableLiveAutocompletion: true, // enableSnippets: true, // enableEmmet: true, // useElasticTabstops: true };

importArticles({   type: 'script',    articles: [        'u:dev:MediaWiki:CustomizeAce.js',        'u:dev:MediaWiki:QuickDiff/code.js',    ] });