| Index: third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js b/third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js
|
| index d24283dc0a0b7b5f0417b1ef1065586519acb460..13ab9503a3cfd7bae5a582ca576d1f87b4e55ecc 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js
|
| @@ -38,7 +38,7 @@ WebInspector.EditingLocationHistoryManager = function(sourcesView, currentSource
|
| this._sourcesView = sourcesView;
|
| this._historyManager = new WebInspector.SimpleHistoryManager(WebInspector.EditingLocationHistoryManager.HistoryDepth);
|
| this._currentSourceFrameCallback = currentSourceFrameCallback;
|
| -}
|
| +};
|
|
|
| WebInspector.EditingLocationHistoryManager.HistoryDepth = 20;
|
|
|
| @@ -127,7 +127,7 @@ WebInspector.EditingLocationHistoryManager.prototype = {
|
|
|
| this._historyManager.filterOut(filterOut);
|
| },
|
| -}
|
| +};
|
|
|
|
|
| /**
|
| @@ -148,7 +148,7 @@ WebInspector.EditingLocationHistoryEntry = function(sourcesView, editingLocation
|
|
|
| var position = this._positionFromSelection(selection);
|
| this._positionHandle = sourceFrame.textEditor.textEditorPositionHandle(position.lineNumber, position.columnNumber);
|
| -}
|
| +};
|
|
|
| WebInspector.EditingLocationHistoryEntry.prototype = {
|
| /**
|
| @@ -197,4 +197,4 @@ WebInspector.EditingLocationHistoryEntry.prototype = {
|
| this._editingLocationManager.updateCurrentState();
|
| this._sourcesView.showSourceLocation(uiSourceCode, position.lineNumber, position.columnNumber);
|
| }
|
| -}
|
| +};
|
|
|