From 5f20007ff25e29c30df21b6d6fe7d60d39ecf205 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Wed, 20 Feb 2019 11:15:14 +0100
Subject: [PATCH] workspace label: react to changes in top bar font changes

---
 tiling.js | 2 +-
 topbar.js | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/tiling.js b/tiling.js
index 6ca2dc9..e41c749 100644
--- a/tiling.js
+++ b/tiling.js
@@ -155,8 +155,8 @@ class Space extends Array {
 
         let label = new St.Label();
         this.label = label;
-        label.set_style('font-weight: bold; font-feature-settings: "tnum"; height: 1.86em;');
         label.hide();
+        label.set_style('font-feature-settings: "tnum";');
 
         let selection = new St.Widget({name: 'selection',
                                        style_class: 'tile-preview'});
diff --git a/topbar.js b/topbar.js
index 80e78e2..dd01094 100644
--- a/topbar.js
+++ b/topbar.js
@@ -398,6 +398,8 @@ function enable () {
 
         for (let [workspace, space] of Tiling.spaces) {
             space.label.set_position(Math.round(r.x), Math.round(r.y));
+            let fontDescription = label.clutter_text.font_description;
+            space.label.clutter_text.set_font_description(fontDescription);
         }
     });
     Main.panel.addToStatusArea('WorkspaceMenu', menu, 0, 'left');