Home | History | Annotate | Download | only in front_end

Lines Matching refs:selectionRange

353         var savedSelectionRange = this._history.selectionRange(uiSourceCode.uri());
501  * @param {WebInspector.TextRange=} selectionRange
504 WebInspector.TabbedEditorContainer.HistoryItem = function(url, selectionRange, scrollLineNumber)
508     this.selectionRange = selectionRange;
520     var selectionRange = serializedHistoryItem.selectionRange ? WebInspector.TextRange.fromObject(serializedHistoryItem.selectionRange) : null;
521     return new WebInspector.TabbedEditorContainer.HistoryItem(serializedHistoryItem.url, selectionRange, serializedHistoryItem.scrollLineNumber);
534         serializedHistoryItem.selectionRange = this.selectionRange;
590     selectionRange: function(url)
593         return index !== -1 ? this._items[index].selectionRange : undefined;
598      * @param {WebInspector.TextRange} selectionRange
600     updateSelectionRange: function(url, selectionRange)
602         if (!selectionRange)
607         this._items[index].selectionRange = selectionRange;