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" |
}; |
}); |