From fb2582767285c4c5d07c4af418e3c324a425a8c4 Mon Sep 17 00:00:00 2001
From: gorhill <rhill@raymondhill.net>
Date: Sat, 30 Aug 2014 17:22:31 -0400
Subject: [PATCH] forgot to tag code with issue number

---
 js/element-picker.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/js/element-picker.js b/js/element-picker.js
index 299207a65..03ff344aa 100644
--- a/js/element-picker.js
+++ b/js/element-picker.js
@@ -638,6 +638,10 @@ var onKeyPressed = function(ev) {
 
 /******************************************************************************/
 
+// https://github.com/gorhill/uBlock/issues/190
+// May need to dynamically adjust the height of the overlay + new position
+// of highlighted elements.
+
 var onScrolled = function(ev) {
     var newHeight = this.scrollY + this.innerHeight;
     if ( newHeight > svgHeight ) {