Fixed notification badge sizing on 200% scaled displays

2021-07-21 13:26:56 +01:00
parent 86707f38f2
commit 2b37318010
128 changed files with 36429 additions and 1754 deletions
@@ -0,0 +1,73 @@
+/*
+ * This file is part of the Zorin Taskbar extension for Zorin OS.
+ *
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ *
+ * Credits:
+ * This file is based on code from the Dash to Panel extension
+ */
+
+var SHOW_APPS_BTN = 'showAppsButton';
+var ACTIVITIES_BTN = 'activitiesButton';
+var TASKBAR = 'taskbar';
+var DATE_MENU = 'dateMenu';
+var SYSTEM_MENU = 'systemMenu';
+var LEFT_BOX = 'leftBox';
+var CENTER_BOX = 'centerBox';
+var RIGHT_BOX = 'rightBox';
+var DESKTOP_BTN = 'desktopButton';
+
+var STACKED_TL = 'stackedTL';
+var STACKED_BR = 'stackedBR';
+var CENTERED = 'centered';
+var CENTERED_MONITOR = 'centerMonitor';
+
+var TOP = 'TOP';
+var BOTTOM = 'BOTTOM';
+var LEFT = 'LEFT';
+var RIGHT = 'RIGHT';
+
+var defaults = [
+    { element: LEFT_BOX,        visible: true,     position: STACKED_TL },
+    { element: SHOW_APPS_BTN,   visible: false,    position: STACKED_TL },
+    { element: ACTIVITIES_BTN,  visible: true,     position: STACKED_TL },
+    { element: TASKBAR,         visible: true,     position: STACKED_TL },
+    { element: CENTER_BOX,      visible: true,     position: STACKED_BR },
+    { element: RIGHT_BOX,       visible: true,     position: STACKED_BR },
+    { element: SYSTEM_MENU,     visible: true,     position: STACKED_BR },
+    { element: DATE_MENU,       visible: true,     position: STACKED_BR },
+    { element: DESKTOP_BTN,     visible: false,    position: STACKED_BR },
+];
+
+var optionDialogFunctions = {};
+
+optionDialogFunctions[SHOW_APPS_BTN] = '_showShowAppsButtonOptions';
+optionDialogFunctions[DATE_MENU] = '_showDateMenuOptions';
+optionDialogFunctions[DESKTOP_BTN] = '_showDesktopButtonOptions';
+
+function getSettingsPositions(settings, setting) {
+    var positions = null;
+
+    try {
+        positions = JSON.parse(settings.get_string(setting));
+    } catch(e) {
+        log('Error parsing positions: ' + e.message);
+    }
+
+    return positions;
+}
+
+function checkIfCentered(position) {
+    return position == CENTERED || position == CENTERED_MONITOR;
+}