Add option to disable notification badges

Author: fredcw

files/usr/share/cinnamon/applets/[email protected]/appGroup.js

@@ -480,7 +480,7 @@ class AppGroup {
     }
 
     updateBadgesTextSize() {
-        const badgeTextSize = Math.round(this.iconBox.width / 2.5 / global.ui_scale);
+        const badgeTextSize = Math.round(Math.min(this.iconBox.width, this.iconBox.height)  / 2.5 / global.ui_scale);
         const badgePadding = Math.round(badgeTextSize / 4);
         const sizeStyle = `font-size: ${badgeTextSize}px; padding-left: ${badgePadding}px; padding-right: ${badgePadding}px;`;
         this.windowsBadgeLabel.set_style(sizeStyle);
@@ -1126,7 +1126,7 @@ class AppGroup {
     }
 
     updateNotificationsBadge() {
-        if (this.notifications.length > 0) {
+        if (this.notifications.length > 0 && this.state.settings.enableNotificationBadges) {
             this.notificationsBadgeLabel.text = this.notifications.length.toString();
             this.notificationsBadge.show();
         } else {

files/usr/share/cinnamon/applets/[email protected]/applet.js

@@ -310,6 +310,7 @@ class GroupedWindowListApplet extends Applet.Applet {
             {key: 'super-num-hotkeys', value: 'SuperNumHotkeys', cb: this.bindAppKeys},
             {key: 'title-display', value: 'titleDisplay', cb: this.updateTitleDisplay},
             {key: 'launcher-animation-effect', value: 'launcherAnimationEffect', cb: null},
+            {key: 'enable-notification-badges', value: 'enableNotificationBadges', cb: this.onEnableNotificationsChange},
             {key: 'enable-app-button-dragging', value: 'enableDragging', cb: this.draggableSettingChanged},
             {key: 'thumbnail-scroll-behavior', value: 'thumbnailScrollBehavior', cb: null},
             {key: 'show-thumbnails', value: 'showThumbs', cb: this.updateVerticalThumbnailState},
@@ -1095,6 +1096,16 @@ class GroupedWindowListApplet extends Applet.Applet {
             });
         });
     }
+
+    onEnableNotificationsChange() {
+        this.workspaces.forEach(workspace => {
+            if (!workspace) return;
+            workspace.appGroups.forEach(appGroup => {
+                if (!appGroup || !appGroup.groupState || appGroup.groupState.willUnmount) return;
+                appGroup.updateNotificationsBadge();
+            });
+        });
+    }
 }
 
 function main(metadata, orientation, panel_height, instance_id) {

files/usr/share/cinnamon/applets/[email protected]/settings-schema.json

@@ -50,6 +50,7 @@
       "keys": [
         "title-display",
         "launcher-animation-effect",
+        "enable-notification-badges",
         "enable-app-button-dragging"
       ]
     },
@@ -183,6 +184,12 @@
       "Scale": 3
     }
   },
+  "enable-notification-badges": {
+    "type": "checkbox",
+    "default": true,
+    "description": "Show notification Badges",
+    "tooltip": "Indicate on the panel when an application has notifications"
+  },
   "enable-app-button-dragging": {
     "type": "checkbox",
     "default": true,