Lines Matching refs:selectionRange
382 var savedSelectionRange = this._history.selectionRange(uiSourceCode.uri());
523 * @param {!WebInspector.TextRange=} selectionRange
526 WebInspector.TabbedEditorContainer.HistoryItem = function(url, selectionRange, scrollLineNumber)
530 this.selectionRange = selectionRange;
542 var selectionRange = serializedHistoryItem.selectionRange ? WebInspector.TextRange.fromObject(serializedHistoryItem.selectionRange) : undefined;
543 return new WebInspector.TabbedEditorContainer.HistoryItem(serializedHistoryItem.url, selectionRange, serializedHistoryItem.scrollLineNumber);
556 serializedHistoryItem.selectionRange = this.selectionRange;
610 selectionRange: function(url)
613 return index !== -1 ? this._items[index].selectionRange : undefined;
618 * @param {!WebInspector.TextRange=} selectionRange
620 updateSelectionRange: function(url, selectionRange)
622 if (!selectionRange)
627 this._items[index].selectionRange = selectionRange;