From 3867cb4d65b9ccbe73c72adf54fb399cdb7cf6b3 Mon Sep 17 00:00:00 2001
From: Aron Berenyi <aron.berenyi@tuta.io>
Date: Mon, 24 Jan 2022 21:53:45 +0100
Subject: [PATCH] disable mouse hover state

---
 extension.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/extension.js b/extension.js
index 1cb31c7..5e096c5 100644
--- a/extension.js
+++ b/extension.js
@@ -19,6 +19,7 @@ var WorkspacesBar = GObject.registerClass(
 class WorkspacesBar extends PanelMenu.Button {
 	_init() {
 		super._init(0.0, 'Workspaces bar');
+		this.track_hover = false;
 		
 		// define gsettings schema for workspaces names, get workspaces names, signal for settings key changed
 		this.workspaces_settings = new Gio.Settings({ schema: WORKSPACES_SCHEMA });