Home | History | Annotate | Download | only in sources

Lines Matching refs:selectionRange

383         var savedSelectionRange = this._history.selectionRange(uiSourceCode.uri());
524  * @param {!WebInspector.TextRange=} selectionRange
527 WebInspector.TabbedEditorContainer.HistoryItem = function(url, selectionRange, scrollLineNumber)
531     this.selectionRange = selectionRange;
543     var selectionRange = serializedHistoryItem.selectionRange ? WebInspector.TextRange.fromObject(serializedHistoryItem.selectionRange) : undefined;
544     return new WebInspector.TabbedEditorContainer.HistoryItem(serializedHistoryItem.url, selectionRange, serializedHistoryItem.scrollLineNumber);
557         serializedHistoryItem.selectionRange = this.selectionRange;
611     selectionRange: function(url)
614         return index !== -1 ? this._items[index].selectionRange : undefined;
619      * @param {!WebInspector.TextRange=} selectionRange
621     updateSelectionRange: function(url, selectionRange)
623         if (!selectionRange)
628         this._items[index].selectionRange = selectionRange;