OLD | NEW |
1 /* | 1 /* |
2 * Copyright (C) 2010 Google Inc. All rights reserved. | 2 * Copyright (C) 2010 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 19 matching lines...) Expand all Loading... |
30 | 30 |
31 /** | 31 /** |
32 * @constructor | 32 * @constructor |
33 * @extends {WebInspector.DialogDelegate} | 33 * @extends {WebInspector.DialogDelegate} |
34 * @param {!WebInspector.SourceFrame} sourceFrame | 34 * @param {!WebInspector.SourceFrame} sourceFrame |
35 */ | 35 */ |
36 WebInspector.GoToLineDialog = function(sourceFrame) | 36 WebInspector.GoToLineDialog = function(sourceFrame) |
37 { | 37 { |
38 WebInspector.DialogDelegate.call(this); | 38 WebInspector.DialogDelegate.call(this); |
39 | 39 |
40 this.element = document.createElementWithClass("div", "go-to-line-dialog"); | 40 this.element = createElementWithClass("div", "go-to-line-dialog"); |
41 this.element.createChild("label").textContent = WebInspector.UIString("Go to
line: "); | 41 this.element.createChild("label").textContent = WebInspector.UIString("Go to
line: "); |
42 | 42 |
43 this._input = this.element.createChild("input"); | 43 this._input = this.element.createChild("input"); |
44 this._input.setAttribute("type", "text"); | 44 this._input.setAttribute("type", "text"); |
45 this._input.setAttribute("size", 6); | 45 this._input.setAttribute("size", 6); |
46 | 46 |
47 this._goButton = this.element.createChild("button"); | 47 this._goButton = this.element.createChild("button"); |
48 this._goButton.textContent = WebInspector.UIString("Go"); | 48 this._goButton.textContent = WebInspector.UIString("Go"); |
49 this._goButton.addEventListener("click", this._onGoClick.bind(this), false); | 49 this._goButton.addEventListener("click", this._onGoClick.bind(this), false); |
50 | 50 |
(...skipping 53 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
104 this._sourceFrame.revealPosition(lineNumber, 0, true); | 104 this._sourceFrame.revealPosition(lineNumber, 0, true); |
105 }, | 105 }, |
106 | 106 |
107 onEnter: function() | 107 onEnter: function() |
108 { | 108 { |
109 this._applyLineNumber(); | 109 this._applyLineNumber(); |
110 }, | 110 }, |
111 | 111 |
112 __proto__: WebInspector.DialogDelegate.prototype | 112 __proto__: WebInspector.DialogDelegate.prototype |
113 } | 113 } |
OLD | NEW |