From f2fd862ee79528c7ff381ba731c725a7b3ff3bc9 Mon Sep 17 00:00:00 2001 From: Marcus Britanicus Date: Sat, 3 Feb 2024 23:03:38 +0530 Subject: [PATCH] BugFix for workspace labels not hiding --- src/workspace-names.cpp | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/src/workspace-names.cpp b/src/workspace-names.cpp index a7d91e9..8a94cc4 100644 --- a/src/workspace-names.cpp +++ b/src/workspace-names.cpp @@ -560,11 +560,8 @@ class wayfire_workspace_names_output : public wf::per_output_plugin_instance_t alpha_fade.animate(alpha_fade, 1.0); } - if (timer.is_connected()) - { - timer.disconnect(); - timer.set_timeout((int)display_duration, timeout); - } + timer.disconnect(); + timer.set_timeout((int)display_duration, timeout); } };