From d4a2eb219fa44177431cb7ea807758898ffca4fe Mon Sep 17 00:00:00 2001
From: Philipp Unger <philipp.unger.1988@gmail.com>
Date: Sun, 20 Aug 2023 02:15:20 +0200
Subject: [PATCH] export missing variables

---
 appIcons.js    | 2 +-
 intellihide.js | 2 +-
 taskbar.js     | 4 ++--
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/appIcons.js b/appIcons.js
index affdd35..70cd54b 100644
--- a/appIcons.js
+++ b/appIcons.js
@@ -68,7 +68,7 @@ const DOUBLE_CLICK_DELAY_MS = 450;
 
 let LABEL_GAP = 5;
 let MAX_INDICATORS = 4;
-var DEFAULT_PADDING_SIZE = 4;
+export var DEFAULT_PADDING_SIZE = 4;
 
 let DOT_STYLE = {
     DOTS: "DOTS",
diff --git a/intellihide.js b/intellihide.js
index 681be12..d35ade4 100644
--- a/intellihide.js
+++ b/intellihide.js
@@ -45,7 +45,7 @@ const T4 = 'panelBoxClipTimeout';
 
 var SIDE_CONTROLS_ANIMATION_TIME = OverviewControls.SIDE_CONTROLS_ANIMATION_TIME / (OverviewControls.SIDE_CONTROLS_ANIMATION_TIME > 1 ? 1000 : 1);
 
-var Hold = {
+export var Hold = {
     NONE: 0,
     TEMPORARY: 1,
     PERMANENT: 2
diff --git a/taskbar.js b/taskbar.js
index 6939b67..5f361da 100644
--- a/taskbar.js
+++ b/taskbar.js
@@ -53,9 +53,9 @@ import {SETTINGS} from './extension.js';
 const Mainloop = imports.mainloop;
 const {signals: Signals} = imports;
 
-var DASH_ANIMATION_TIME = Dash.DASH_ANIMATION_TIME / (Dash.DASH_ANIMATION_TIME > 1 ? 1000 : 1);
+export var DASH_ANIMATION_TIME = Dash.DASH_ANIMATION_TIME / (Dash.DASH_ANIMATION_TIME > 1 ? 1000 : 1);
 var DASH_ITEM_HOVER_TIMEOUT = Dash.DASH_ITEM_HOVER_TIMEOUT;
-var MIN_ICON_SIZE = 4;
+export var MIN_ICON_SIZE = 4;
 
 const T1 = 'ensureAppIconVisibilityTimeout'
 const T2 = 'showLabelTimeout'