| Index: third_party/WebKit/Source/devtools/front_end/cm_modes/shell.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/cm_modes/shell.js b/third_party/WebKit/Source/devtools/front_end/cm_modes/shell.js
|
| index 77be75b97d21860843b5aa0522061ccbe74f8a1e..a684e8c233ad293ee677cb53d13bd53c9acba7ca 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/cm_modes/shell.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/cm_modes/shell.js
|
| @@ -128,7 +128,9 @@ CodeMirror.defineMode('shell', function() {
|
| startState: function() {return {tokens:[]};},
|
| token: function(stream, state) {
|
| return tokenize(stream, state);
|
| - }
|
| + },
|
| + lineComment: '#',
|
| + fold: "brace"
|
| };
|
| });
|
|
|
|
|