author | Gabriel Luong <gabriel.luong@gmail.com> |
Mon, 25 Nov 2013 15:57:51 -0800 | |
changeset 157497 | e37495564adaed5103783ef8f4843067f5d49190 |
parent 157496 | b6cbed05a206c4532e70024ac7acc191b9045e18 |
child 157498 | dbca16978da79a725d279a6e008f90aa8c17dc60 |
push id | 25714 |
push user | cbook@mozilla.com |
push date | Tue, 26 Nov 2013 11:39:03 +0000 |
treeherder | mozilla-central@4a8c40940659 [default view] [failures only] |
perfherder | [talos] [build metrics] [platform microbench] (compared to previous push) |
reviewers | anton |
bugs | 940713 |
milestone | 28.0a1 |
first release with | nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
|
last release without | nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
|
--- a/browser/devtools/sourceeditor/editor.js +++ b/browser/devtools/sourceeditor/editor.js @@ -117,26 +117,27 @@ Editor.modes = { * CodeMirror docs: http://codemirror.net/doc/manual.html */ function Editor(config) { const tabSize = Services.prefs.getIntPref(TAB_SIZE); const useTabs = !Services.prefs.getBoolPref(EXPAND_TAB); this.version = null; this.config = { - value: "", - mode: Editor.modes.text, - indentUnit: tabSize, - tabSize: tabSize, - contextMenu: null, - matchBrackets: true, - extraKeys: {}, - indentWithTabs: useTabs, - styleActiveLine: true, - theme: "mozilla" + value: "", + mode: Editor.modes.text, + indentUnit: tabSize, + tabSize: tabSize, + contextMenu: null, + matchBrackets: true, + extraKeys: {}, + indentWithTabs: useTabs, + styleActiveLine: true, + autoCloseBrackets: true, + theme: "mozilla" }; // Additional shortcuts. this.config.extraKeys[Editor.keyFor("jumpToLine")] = (cm) => this.jumpToLine(cm); this.config.extraKeys[Editor.keyFor("toggleComment")] = "toggleComment"; // Disable ctrl-[ and ctrl-] because toolbox uses those shortcuts. this.config.extraKeys[Editor.keyFor("indentLess")] = false;