DevTools: Display product information in ConsoleContextSelector

third_party/WebKit/Source/devtools/front_end/ui/ListControl.js

 // Copyright 2016 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 /**
  * @template T
  * @interface
  */
 UI.ListDelegate = function() {};
 
@@ skipping 163 matching lines @@
     }
   }
 
   /**
    * @param {!Array<T>} items
    */
   replaceAllItems(items) {
     this.replaceItemsInRange(0, this._items.length, items);
   }
 
+

[dgozman, 2017/05/08 23:16:47]

nit: remove extra blank line

[einbinder, 2017/05/09 22:00:45]

Done.

+  refreshAllItems() {
+    this.refreshItemsInRange(0, this._items.length);
+  }
+
   /**
    * @param {number} from
    * @param {number} to
+   */
+  refreshItemsInRange(from, to) {
+    for (var i = from; i < to; i++)
+      this._itemToElement.delete(this._items[i]);
+    this.invalidateRange(from, to);
+    if (this._selectedIndex !== -1)
+      this._select(this._selectedIndex, null, null);
+  }
+
+  /**
+   * @param {number} from
+   * @param {number} to
    */
   invalidateRange(from, to) {
     this._invalidate(from, to, to - from);
   }
 
   viewportResized() {
     if (this._mode === UI.ListMode.NonViewport)
       return;
     // TODO(dgozman): try to keep visible scrollTop the same.
     var scrollTop = this.element.scrollTop;
@@ skipping 40 matching lines @@
   /**
    * @return {?T}
    */
   selectedItem() {
     return this._selectedIndex === -1 ? null : this._items[this._selectedIndex];
   }
 
   /**
    * @param {?T} item
    * @param {boolean=} center
+   * @param {boolean=} dontScroll
    */
-  selectItem(item, center) {
+  selectItem(item, center, dontScroll) {
     var index = -1;
     if (item !== null) {
       index = this._items.indexOf(item);
       if (index === -1)
         throw 'Attempt to select missing item';
       if (!this._delegate.isItemSelectable(item))
         throw 'Attempt to select non-selectable item';
     }
     if (this._selectedIndex !== index)
       this._select(index);
-    if (index !== -1)
+    if (index !== -1 && !dontScroll)
       this._scrollIntoView(index, center);
   }
 
   /**
    * @param {boolean=} canWrap
    * @param {boolean=} center
    * @return {boolean}
    */
   selectPreviousItem(canWrap, center) {
     if (this._selectedIndex === -1 && !canWrap)
@@ skipping 391 matching lines @@
     this._firstIndex = firstIndex;
     this._lastIndex = lastIndex;
     this._topHeight = this._offsetAtIndex(firstIndex);
     this._topElement.style.height = this._topHeight + 'px';
     this._bottomHeight = totalHeight - this._offsetAtIndex(lastIndex);
     this._bottomElement.style.height = this._bottomHeight + 'px';
     this._renderedHeight = totalHeight;
     this.element.scrollTop = scrollTop;
   }
 };