sound150 v13.3.4: Uses Digital-Numbers font-family in menu. Gets real ui_scale, when scaling is set to other values than 100% or 200%. (#7921)

Author: claudiux

sound150@claudiux/files/sound150@claudiux/6.4/applet.js

@@ -198,7 +198,7 @@ class Sound150Applet extends Applet.TextIconApplet {
     constructor(metadata, orientation, panel_height, instanceId) {
         super(orientation, panel_height, instanceId);
 
-        Util.spawnCommandLineAsync("/usr/bin/env bash -c 'cd %s && chmod 755 *.sh'".format(PATH2SCRIPTS));
+        Util.spawnCommandLineAsync("/usr/bin/env bash -c 'cd %s && chmod 755 *.sh *.py'".format(PATH2SCRIPTS));
         Util.spawnCommandLineAsync("/usr/bin/env bash -c '[[ -d %s ]] || mkdir -p %s'".format(ALBUMART_PICS_DIR, ALBUMART_PICS_DIR));
         Util.spawnCommandLineAsync("/usr/bin/env bash -c '[[ -d %s ]] || mkdir -p %s'".format(ICONDIR, ICONDIR));
         Util.spawnCommandLineAsync("/usr/bin/env bash -C '" + PATH2SCRIPTS + "/rm_tmp_files.sh'");
@@ -209,6 +209,13 @@ class Sound150Applet extends Applet.TextIconApplet {
 
         this.metadata = metadata;
 
+        this.real_ui_scale = 1.0;
+        Util.spawnCommandLineAsyncIO(PATH2SCRIPTS + "/get-real-scale.py", (stdout, stderr, exitCode) => {
+            if (exitCode === 0) {
+                this.real_ui_scale = parseFloat(stdout);
+            }
+        }, {});
+
         this.players_without_seek_support = original_players_without_seek_support;
         this.players_with_seek_support = original_players_with_seek_support;
         this.PERCENT_CHAR = _("%");
@@ -430,7 +437,6 @@ class Sound150Applet extends Applet.TextIconApplet {
         this.menuManager = new PopupMenu.PopupMenuManager(this);
         this.menu = new Applet.AppletPopupMenu(this, orientation);
         this.menuManager.addMenu(this.menu);
-        this.menu.actor.set_width(450);
 
         this.set_applet_icon_symbolic_name("audio-x-generic");
 
@@ -1073,6 +1079,7 @@ class Sound150Applet extends Applet.TextIconApplet {
     }
 
     on_applet_added_to_panel() {
+        this.menu.actor.set_width(Math.round(450 * this.real_ui_scale));
         this.title_text_old = "";
         this.startingUp = true;
         if (this._playerctl)

sound150@claudiux/files/sound150@claudiux/6.4/lib/s150PopupMenu.js

@@ -244,7 +244,7 @@ class Player extends PopupMenu.PopupMenuSection {
         // Cover art
         this.cover = new St.Icon({
             icon_name: "media-optical",
-            icon_size: Math.trunc(300 * global.ui_scale),
+            icon_size: Math.trunc(300 * this._applet.real_ui_scale),
             //icon_type: St.IconType.FULLCOLOR
             icon_type: St.IconType.SYMBOLIC
         });
@@ -819,7 +819,7 @@ class Player extends PopupMenu.PopupMenuSection {
                 style_class: "sound-player-generic-coverart",
                 important: true,
                 icon_name: "media-optical",
-                icon_size: Math.trunc(300 * global.ui_scale),
+                icon_size: Math.trunc(300 * this._applet.real_ui_scale),
                 //icon_type: St.IconType.FULLCOLOR
                 icon_type: St.IconType.SYMBOLIC
             });
@@ -849,8 +849,8 @@ class Player extends PopupMenu.PopupMenuSection {
             this._applet.setAppletIcon(this._applet.player, cover_path); // Added
             this._cover_load_handle = St.TextureCache.get_default().load_image_from_file_async(
                 cover_path,
-                Math.trunc(300 * global.ui_scale),
-                Math.trunc(300 * global.ui_scale),
+                Math.trunc(300 * this._applet.real_ui_scale),
+                Math.trunc(300 * this._applet.real_ui_scale),
                 (cache, handle, actor) => {
                     this._on_cover_loaded(cache, handle, actor)
                 }
@@ -862,8 +862,8 @@ class Player extends PopupMenu.PopupMenuSection {
             try {
                 let pixbuf = GdkPixbuf.Pixbuf.new_from_file_at_size(
                     this._cover_path,
-                    Math.trunc(300 * global.ui_scale),
-                    Math.trunc(300 * global.ui_scale)
+                    Math.trunc(300 * this._applet.real_ui_scale),
+                    Math.trunc(300 * this._applet.real_ui_scale)
                 );
                 if (pixbuf) {
                     let image = new Clutter.Image();
@@ -879,7 +879,7 @@ class Player extends PopupMenu.PopupMenuSection {
                 if (this._applet.keepAlbumAspectRatio) {
                     //TODO: Replace Texture by Image.
                     this.cover = new Clutter.Texture({
-                        width: Math.trunc(300 * global.ui_scale),
+                        width: Math.trunc(300 * this._applet.real_ui_scale),
                         keep_aspect_ratio: true,
                         //filter_quality: 2,
                         filter_quality: Clutter.Texture.QUALITY_HIGH,
@@ -888,8 +888,8 @@ class Player extends PopupMenu.PopupMenuSection {
                 } else {
                     //TODO: Replace Texture by Image.
                     this.cover = new Clutter.Texture({
-                        width: Math.trunc(300 * global.ui_scale),
-                        height: Math.trunc(300 * global.ui_scale),
+                        width: Math.trunc(300 * this._applet.real_ui_scale),
+                        height: Math.trunc(300 * this._applet.real_ui_scale),
                         keep_aspect_ratio: false,
                         filter_quality: Clutter.Texture.QUALITY_HIGH,
                         filename: cover_path
@@ -919,10 +919,33 @@ class Player extends PopupMenu.PopupMenuSection {
         // (and move the player controls as a result).
         //~ log("actor size (wxh): "+actor.width+"x"+actor.height);
         //~ actor.set_margin_bottom(Math.max(0, Math.trunc(300 * global.ui_scale - actor.height)));
-        let mb = (this._applet.viewFullAlbumArt) ? 110 : 55;
+        let mb = 55;
+        if (this._applet.viewFullAlbumArt) {
+            switch (this._applet.real_ui_scale) {
+                case 0.75:
+                    mb = 100;
+                    break;
+                case 1.0:
+                    mb = 110;
+                    break;
+                case 1.25:
+                    mb = 140;
+                    break;
+                case 1.5:
+                    mb = 165;
+                    break;
+                case 1.75:
+                    mb = 195;
+                    break;
+                default:
+                    mb = 220;
+            }
+        }
+        //~ let mb = (this._applet.viewFullAlbumArt) ? 110 : 55;
+        //~ mb = Math.round(mb * this._applet.real_ui_scale);
         actor.set_margin_bottom(mb);
 
-        actor.set_margin_left(Math.max(0, Math.round(300 * global.ui_scale - actor.width * global.ui_scale)));
+        actor.set_margin_left(Math.max(0, Math.round(300 * this._applet.real_ui_scale - actor.width)));
 
         this.cover = actor;
 
@@ -1003,15 +1026,17 @@ class Seeker extends Slider.Slider {
 
 
         this.posLabel = new St.Label({
-            text: " 00:00 "
+            text: " 00:00 ",
+            style: "font-family: 'Digital Numbers',monospace; "
         });
         this.posLabel.x_align = St.Align.START;
         //~ logDebug("this.posLabel: "+this.posLabel);
         //~ this.posLabel.clutterText.line_wrap = false;
         //~ this.posLabel.clutterText.line_wrap_mode = Pango.WrapMode.WORD_CHAR;
         //~ this.posLabel.clutterText.ellipsize = Pango.EllipsizeMode.NONE;
         this.durLabel = new St.Label({
-            text: " 00:00 "
+            text: " 00:00 ",
+            style: "font-family: 'Digital Numbers',monospace; "
         });
         this.durLabel.x_align = St.Align.END;
         //~ logDebug("this.durLabel: "+this.durLabel);

sound150@claudiux/files/sound150@claudiux/6.4/lib/volumeSlider.js

@@ -62,13 +62,13 @@ class VolumeSlider extends PopupMenu.PopupSliderMenuItem {
             this.icon = new St.Icon({
                 icon_name: this.iconName,
                 icon_type: St.IconType.SYMBOLIC,
-                icon_size: Math.trunc(16 * global.ui_scale)
+                icon_size: Math.trunc(16 * this.applet.real_ui_scale)
             });
         } else {
             this.icon = new St.Icon({
                 icon_name: this.app_icon,
                 icon_type: St.IconType.FULLCOLOR,
-                icon_size: Math.trunc(16 * global.ui_scale)
+                icon_size: Math.trunc(16 * this.applet.real_ui_scale)
             });
         }
 

sound150@claudiux/files/sound150@claudiux/CHANGELOG.md

@@ -1,3 +1,7 @@
+### v13.3.4~20251028
+  * Gets real ui_scale, when scaling is set to other values than 100% or 200%.
+  * Uses "font-family: 'Digital Numbers',monospace" to display counters in menu.
+
 ### v13.3.3~20251028
   * Avoids menu shaking.
 

sound150@claudiux/files/sound150@claudiux/metadata.json

@@ -5,7 +5,7 @@
   "max-instances": "1",
   "description": "Enhanced sound applet",
   "hide-configuration": false,
-  "version": "13.3.3",
+  "version": "13.3.4",
   "cinnamon-version": [
     "2.8",
     "3.0",

sound150@claudiux/files/sound150@claudiux/scripts/get-real-scale.py

@@ -0,0 +1,28 @@
+#!/usr/bin/env python3
+# -*- coding:Utf-8 -*-
+
+# Author : Claude CLERC <[email protected]> <[email protected]>
+import sys
+import dbus
+bus = dbus.SessionBus()
+
+display_config_well_known_name = "org.cinnamon.Muffin.DisplayConfig"
+display_config_object_path = "/org/cinnamon/Muffin/DisplayConfig"
+
+display_config_proxy = bus.get_object(display_config_well_known_name, display_config_object_path)
+display_config_interface = dbus.Interface(display_config_proxy, dbus_interface=display_config_well_known_name)
+
+serial, physical_monitors, logical_monitors, properties = display_config_interface.GetCurrentState()
+
+
+for x, y, scale, transform, primary, linked_monitors_info, props in logical_monitors:
+    # ~ physical_monitors_config = []
+    for linked_monitor_connector, linked_monitor_vendor, linked_monitor_product, linked_monitor_serial in linked_monitors_info:
+        for monitor_info, monitor_modes, monitor_properties in physical_monitors:
+            monitor_connector, monitor_vendor, monitor_product, monitor_serial = monitor_info
+            if linked_monitor_connector == monitor_connector:
+                for mode_id, mode_width, mode_height, mode_refresh, mode_preferred_scale, mode_supported_scales, mode_properties in monitor_modes:
+                    if mode_properties.get("is-current", False): # ( mode_properties provides is-current, is-preferred, is-interlaced, and more)
+                        # ~ physical_monitors_config.append(dbus.Struct([monitor_connector, mode_id, {}]))
+                        # ~ print(monitor_properties.get("display-name"))
+                        print(scale, end="")