| Index: third_party/WebKit/Source/devtools/front_end/terminal/TerminalWidget.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/terminal/TerminalWidget.js b/third_party/WebKit/Source/devtools/front_end/terminal/TerminalWidget.js
|
| index fa47a105091ce6ad7548305fd88275e392ffafff..c6c9a64db44ec344c718159745b51e62938cf7de 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/terminal/TerminalWidget.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/terminal/TerminalWidget.js
|
| @@ -16,7 +16,7 @@ WebInspector.TerminalWidget = function()
|
| this._init();
|
| this._linkifier = new WebInspector.Linkifier();
|
| this._linkifyFunction = this._linkifyURL.bind(this);
|
| -}
|
| +};
|
|
|
| WebInspector.TerminalWidget.prototype = {
|
| _init: function()
|
| @@ -136,4 +136,4 @@ WebInspector.TerminalWidget.prototype = {
|
| },
|
|
|
| __proto__: WebInspector.VBox.prototype
|
| -}
|
| +};
|
|
|