| Index: Source/devtools/front_end/cm/markselection.js
|
| diff --git a/Source/devtools/front_end/cm/markselection.js b/Source/devtools/front_end/cm/markselection.js
|
| index ae0d393143845f055178aa1fefdd63038e66eed4..5c42d21eb2d0d00e65d7a1fe139cf767f2ead084 100644
|
| --- a/Source/devtools/front_end/cm/markselection.js
|
| +++ b/Source/devtools/front_end/cm/markselection.js
|
| @@ -1,3 +1,6 @@
|
| +// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
| +// Distributed under an MIT license: http://codemirror.net/LICENSE
|
| +
|
| // Because sometimes you need to mark the selected *text*.
|
| //
|
| // Adds an option 'styleSelectedText' which, when enabled, gives
|
|
|