Merge branch 'master' into enable-bar-scroll

2026-07-03 22:22:30 +02:00
parent 51becf2fbc ba90205986
commit a5d510ff8a
75 changed files with 1102 additions and 386 deletions
@@ -109,7 +109,9 @@ void Workspaces::doUpdate() {
                         fmt::arg("output", ws["output"].asString()));
    }
    if (!config_["disable-markup"].asBool()) {
-      static_cast<Gtk::Label*>(button.get_children()[0])->set_markup(name);
+      auto* child = gtk_bin_get_child(GTK_BIN(button.gobj()));
+      if (child != nullptr && GTK_IS_LABEL(child))
+        gtk_label_set_markup(GTK_LABEL(child), name.c_str());
    } else {
      button.set_label(name);
    }