From f76d493fefec60de8c3d4e2b154365ee600b60eb Mon Sep 17 00:00:00 2001
From: Charles Gagnon <charlesg99@outlook.com>
Date: Sat, 21 Sep 2019 10:05:31 -0400
Subject: [PATCH] Ignore scrolling over WorkspaceIndicator

---
 panel.js | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/panel.js b/panel.js
index f14dae3..efe0e47 100644
--- a/panel.js
+++ b/panel.js
@@ -1070,7 +1070,7 @@ var dtpPanel = Utils.defineClass({
         let scrollAction = Me.settings.get_string('scroll-panel-action');
         let direction = Utils.getMouseScrollDirection(event);
 
-        if (!event.get_source()._dtpIgnoreScroll && direction && !this._scrollPanelDelayTimeoutId) {
+        if (!this._checkIfIgnoredSrollSource(event.get_source()) && direction && !this._scrollPanelDelayTimeoutId) {
             this._scrollPanelDelayTimeoutId = Mainloop.timeout_add(Me.settings.get_int('scroll-panel-delay'), () => {
                 this._scrollPanelDelayTimeoutId = 0;
             });
@@ -1089,6 +1089,12 @@ var dtpPanel = Utils.defineClass({
             }
         }
     },
+
+    _checkIfIgnoredSrollSource: function(source) {
+        let ignoredConstr = ['WorkspaceIndicator'];
+
+        return source._dtpIgnoreScroll || ignoredConstr.indexOf(source.constructor.name) >= 0;
+    }
 });
 
 var dtpSecondaryAggregateMenu = Utils.defineClass({