OLD | NEW |
1 // Copyright (c) 2016 The Chromium Authors. All rights reserved. | 1 // Copyright (c) 2016 The Chromium Authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 /** | 5 /** |
6 * @constructor | 6 * @constructor |
7 * @extends {WebInspector.CodeMirrorTextEditor} | 7 * @extends {WebInspector.CodeMirrorTextEditor} |
8 * @param {!WebInspector.SourcesTextEditorDelegate} delegate | 8 * @param {!WebInspector.SourcesTextEditorDelegate} delegate |
9 */ | 9 */ |
10 WebInspector.SourcesTextEditor = function(delegate) | 10 WebInspector.SourcesTextEditor = function(delegate) |
(...skipping 575 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
586 style.textContent = rules; | 586 style.textContent = rules; |
587 doc.head.appendChild(style); | 587 doc.head.appendChild(style); |
588 }, | 588 }, |
589 | 589 |
590 __proto__: WebInspector.CodeMirrorTextEditor.prototype | 590 __proto__: WebInspector.CodeMirrorTextEditor.prototype |
591 } | 591 } |
592 | 592 |
593 /** @typedef {{lineNumber: number, event: !Event}} */ | 593 /** @typedef {{lineNumber: number, event: !Event}} */ |
594 WebInspector.SourcesTextEditor.GutterClickEventData; | 594 WebInspector.SourcesTextEditor.GutterClickEventData; |
595 | 595 |
596 /** @enum {string} */ | 596 /** @enum {symbol} */ |
597 WebInspector.SourcesTextEditor.Events = { | 597 WebInspector.SourcesTextEditor.Events = { |
598 GutterClick: "GutterClick" | 598 GutterClick: Symbol("GutterClick") |
599 } | 599 } |
| 600 |
600 /** | 601 /** |
601 * @interface | 602 * @interface |
602 */ | 603 */ |
603 WebInspector.SourcesTextEditorDelegate = function() { } | 604 WebInspector.SourcesTextEditorDelegate = function() { } |
604 WebInspector.SourcesTextEditorDelegate.prototype = { | 605 WebInspector.SourcesTextEditorDelegate.prototype = { |
605 | 606 |
606 /** | 607 /** |
607 * @param {!WebInspector.TextRange} oldRange | 608 * @param {!WebInspector.TextRange} oldRange |
608 * @param {!WebInspector.TextRange} newRange | 609 * @param {!WebInspector.TextRange} newRange |
609 */ | 610 */ |
(...skipping 361 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
971 this._codeMirror.addOverlay(overlayMode); | 972 this._codeMirror.addOverlay(overlayMode); |
972 this._highlightDescriptor = { | 973 this._highlightDescriptor = { |
973 overlay: overlayMode, | 974 overlay: overlayMode, |
974 selectionStart: selectionStart | 975 selectionStart: selectionStart |
975 }; | 976 }; |
976 } | 977 } |
977 } | 978 } |
978 | 979 |
979 WebInspector.SourcesTextEditor.LinesToScanForIndentationGuessing = 1000; | 980 WebInspector.SourcesTextEditor.LinesToScanForIndentationGuessing = 1000; |
980 WebInspector.SourcesTextEditor.MaximumNumberOfWhitespacesPerSingleSpan = 16; | 981 WebInspector.SourcesTextEditor.MaximumNumberOfWhitespacesPerSingleSpan = 16; |
OLD | NEW |