DevTools: Immediately hide on scroll for source color picker

third_party/WebKit/Source/devtools/front_end/source_frame/SourceFrame.js

 /*
  * Copyright (C) 2011 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 616 matching lines @@
             this._sourcePosition.setText(WebInspector.UIString("%d characters selected", selectedText.length));
         else
             this._sourcePosition.setText(WebInspector.UIString("%d lines, %d characters selected", textRange.endLine - textRange.startLine + 1, selectedText.length));
     },
 
     /**
      * @param {number} lineNumber
      */
     scrollChanged: function(lineNumber)
     {
-        this.dispatchEventToListeners(WebInspector.SourceFrame.Events.ScrollChanged, lineNumber);
+        if (this._scrollTimer)
+            clearTimeout(this._scrollTimer);
+        this._scrollTimer = setTimeout(this.dispatchEventToListeners.bind(this, WebInspector.SourceFrame.Events.ScrollChanged, lineNumber), 100);
     },
 
     _handleKeyDown: function(e)
     {
         var shortcutKey = WebInspector.KeyboardShortcut.makeKeyFromEvent(e);
         var handler = this._shortcuts[shortcutKey];
         if (handler && handler())
             e.consume(true);
     },
 
@@ skipping 72 matching lines @@
     /**
      * @override
      * @param {?WebInspector.TextRange} from
      * @param {?WebInspector.TextRange} to
      */
     onJumpToPosition: function(from, to)
     {
         this._sourceFrame.onJumpToPosition(from, to);
     }
 }