| 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 45 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 56 this.element.addEventListener("keydown", this._handleKeyDown.bind(this), fal
se); | 56 this.element.addEventListener("keydown", this._handleKeyDown.bind(this), fal
se); |
| 57 | 57 |
| 58 this._sourcePosition = new WebInspector.ToolbarText(); | 58 this._sourcePosition = new WebInspector.ToolbarText(); |
| 59 | 59 |
| 60 /** | 60 /** |
| 61 * @type {?WebInspector.SearchableView} | 61 * @type {?WebInspector.SearchableView} |
| 62 */ | 62 */ |
| 63 this._searchableView = null; | 63 this._searchableView = null; |
| 64 } | 64 } |
| 65 | 65 |
| 66 /** @enum {symbol} */ |
| 66 WebInspector.SourceFrame.Events = { | 67 WebInspector.SourceFrame.Events = { |
| 67 ScrollChanged: "ScrollChanged", | 68 ScrollChanged: Symbol("ScrollChanged"), |
| 68 SelectionChanged: "SelectionChanged", | 69 SelectionChanged: Symbol("SelectionChanged"), |
| 69 JumpHappened: "JumpHappened" | 70 JumpHappened: Symbol("JumpHappened") |
| 70 } | 71 } |
| 71 | 72 |
| 72 WebInspector.SourceFrame.prototype = { | 73 WebInspector.SourceFrame.prototype = { |
| 73 /** | 74 /** |
| 74 * @param {number} key | 75 * @param {number} key |
| 75 * @param {function():boolean} handler | 76 * @param {function():boolean} handler |
| 76 */ | 77 */ |
| 77 addShortcut: function(key, handler) | 78 addShortcut: function(key, handler) |
| 78 { | 79 { |
| 79 this._shortcuts[key] = handler; | 80 this._shortcuts[key] = handler; |
| (...skipping 632 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 712 /** | 713 /** |
| 713 * @override | 714 * @override |
| 714 * @param {?WebInspector.TextRange} from | 715 * @param {?WebInspector.TextRange} from |
| 715 * @param {?WebInspector.TextRange} to | 716 * @param {?WebInspector.TextRange} to |
| 716 */ | 717 */ |
| 717 onJumpToPosition: function(from, to) | 718 onJumpToPosition: function(from, to) |
| 718 { | 719 { |
| 719 this._sourceFrame.onJumpToPosition(from, to); | 720 this._sourceFrame.onJumpToPosition(from, to); |
| 720 } | 721 } |
| 721 } | 722 } |
| OLD | NEW |