workspace label: set explicit height

ref #95
2026-10-04 19:46:53 +00:00 · 2019-02-19 14:02:02 +01:00
parent adcfa414ad
commit 48adf04ae7
1 changed files with 1 additions and 1 deletions
@@ -155,7 +155,7 @@ class Space extends Array {

        let label = new St.Label();
        this.label = label;
-        label.set_style('font-weight: bold; font-feature-settings: "tnum";');
+        label.set_style('font-weight: bold; font-feature-settings: "tnum"; height: 1.86em;');
        label.hide();

        let selection = new St.Widget({name: 'selection',