DevTools: Show not found message in FilteredListWidgets

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

 /*
  * Copyright (C) 2012 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 28 matching lines @@
 
     this.contentElement.createChild('content');
     this.contentElement.tabIndex = 0;
     this.contentElement.addEventListener('focus', this._onFocus.bind(this), false);
     this._keyDownBound = this._onKeyDown.bind(this);
 
     this._wrapsContent = false;
     this._dimmed = false;
     /** @type {!Map<!HTMLElement, number>} */
     this._tabIndexMap = new Map();
+    this._fixedHeight = true;

[dgozman, 2016/12/27 19:36:48]

Let's instead position based on maxHeight (if present) in wrapsContent mode.

[einbinder, 2017/01/09 23:19:17]

Done.

   }
 
   /**
    * @return {boolean}
    */
   static hasInstance() {
     return !!UI.Dialog._instance;
   }
 
   /**
@@ skipping 85 matching lines @@
     this._wrapsContent = wraps;
   }
 
   /**
    * @param {boolean} dimmed
    */
   setDimmed(dimmed) {
     this._dimmed = dimmed;
   }
 
+  /**
+   * @param {boolean} fixedHeight
+   */
+  setFixedHeight(fixedHeight) {
+    this._fixedHeight = fixedHeight;
+  }
+
   contentResized() {
     if (this._wrapsContent)
       this._position();
   }
 
   /**
    * @param {!Document} document
    */
   _disableTabIndexOnElements(document) {
     this._tabIndexMap.clear();
@@ skipping 56 matching lines @@
 
     var positionY;
     if (typeof this._defaultPositionY === 'number') {
       positionY = this._defaultPositionY;
     } else {
       positionY = (container.offsetHeight - height) / 2;
       positionY = Number.constrain(positionY, 0, container.offsetHeight - height);
     }
 
     this.element.style.width = width + 'px';
-    this.element.style.height = height + 'px';
+    if (this._fixedHeight)
+      this.element.style.height = height + 'px';
+    else
+      this.element.style.maxHeight = height + 'px';
     this.element.positionAt(positionX, positionY, container);
   }
 
   /**
    * @param {!Event} event
    */
   _onKeyDown(event) {
     if (event.keyCode === UI.KeyboardShortcut.Keys.Esc.code) {
       event.consume(true);
       this.detach();
     }
   }
 };
 
 
 /** @type {?Element} */
 UI.Dialog._previousFocusedElement = null;
 
 /** @type {?UI.Widget} */
 UI.Dialog._modalHostView = null;