| OLD | NEW |
| 1 /* | 1 /* |
| 2 * Copyright (C) 2011 Google Inc. All rights reserved. | 2 * Copyright (C) 2011 Google Inc. All rights reserved. |
| 3 * | 3 * |
| 4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
| 5 * modification, are permitted provided that the following conditions are | 5 * modification, are permitted provided that the following conditions are |
| 6 * met: | 6 * met: |
| 7 * | 7 * |
| 8 * * Redistributions of source code must retain the above copyright | 8 * * Redistributions of source code must retain the above copyright |
| 9 * notice, this list of conditions and the following disclaimer. | 9 * notice, this list of conditions and the following disclaimer. |
| 10 * * Redistributions in binary form must reproduce the above | 10 * * Redistributions in binary form must reproduce the above |
| (...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 46 this._textEditor = new WebInspector.CodeMirrorTextEditor(this._url, textEdit
orDelegate); | 46 this._textEditor = new WebInspector.CodeMirrorTextEditor(this._url, textEdit
orDelegate); |
| 47 | 47 |
| 48 this._currentSearchResultIndex = -1; | 48 this._currentSearchResultIndex = -1; |
| 49 this._searchResults = []; | 49 this._searchResults = []; |
| 50 | 50 |
| 51 this._textEditor.setReadOnly(!this.canEditSource()); | 51 this._textEditor.setReadOnly(!this.canEditSource()); |
| 52 | 52 |
| 53 this._shortcuts = {}; | 53 this._shortcuts = {}; |
| 54 this.element.addEventListener("keydown", this._handleKeyDown.bind(this), fal
se); | 54 this.element.addEventListener("keydown", this._handleKeyDown.bind(this), fal
se); |
| 55 | 55 |
| 56 this._sourcePosition = new WebInspector.ToolbarLabel(); | 56 this._sourcePosition = new WebInspector.ToolbarText(); |
| 57 } | 57 } |
| 58 | 58 |
| 59 WebInspector.SourceFrame.Events = { | 59 WebInspector.SourceFrame.Events = { |
| 60 ScrollChanged: "ScrollChanged", | 60 ScrollChanged: "ScrollChanged", |
| 61 SelectionChanged: "SelectionChanged", | 61 SelectionChanged: "SelectionChanged", |
| 62 JumpHappened: "JumpHappened" | 62 JumpHappened: "JumpHappened" |
| 63 } | 63 } |
| 64 | 64 |
| 65 WebInspector.SourceFrame.prototype = { | 65 WebInspector.SourceFrame.prototype = { |
| 66 /** | 66 /** |
| (...skipping 611 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 678 /** | 678 /** |
| 679 * @override | 679 * @override |
| 680 * @param {?WebInspector.TextRange} from | 680 * @param {?WebInspector.TextRange} from |
| 681 * @param {?WebInspector.TextRange} to | 681 * @param {?WebInspector.TextRange} to |
| 682 */ | 682 */ |
| 683 onJumpToPosition: function(from, to) | 683 onJumpToPosition: function(from, to) |
| 684 { | 684 { |
| 685 this._sourceFrame.onJumpToPosition(from, to); | 685 this._sourceFrame.onJumpToPosition(from, to); |
| 686 } | 686 } |
| 687 } | 687 } |
| OLD | NEW |