[taffybar] Get custom workspace names from "_NET_DESKTOP_FULL_NAMES"

dotfiles/config/taffybar/taffybar.hs

@@ -16,6 +16,7 @@ import           System.FilePath.Posix
 import           System.Information.CPU
 import           System.Information.EWMHDesktopInfo
 import           System.Information.Memory
+import           System.Information.X11DesktopInfo
 import           System.Process
 import           System.Taffybar
 import           System.Taffybar.LayoutSwitcher
@@ -45,6 +46,14 @@ memCallback widget = do
     return ()
   return [memoryUsedRatio mi]
 
+getFullWorkspaceNames :: X11Property [(WorkspaceIdx, String)]
+getFullWorkspaceNames = go <$> readAsListOfString Nothing "_NET_DESKTOP_FULL_NAMES"
+  where go = zip [WSIdx i | i <- [0..]]
+
+workspaceNamesLabelSetter workspace = do
+  fullNames <- liftX11 getFullWorkspaceNames
+  return $ fromMaybe "" $ lookup (workspaceIdx workspace) fullNames
+
 mem :: IO Gtk.Widget
 mem = do
   ebox <- Gtk.eventBoxNew
@@ -168,6 +177,7 @@ main = do
         , redrawIconsOnStateChange = True
         , innerPadding = 5
         , outerPadding = 5
+        , labelSetter = workspaceNamesLabelSetter
         }
       netMonitor = netMonitorMultiNew 1.5 interfaceNames
       pagerConfig =