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); |
} |
-} |
+}; |