diff options
| author | tv <tv@krebsco.de> | 2023-02-07 03:32:15 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2023-02-07 03:34:12 +0100 |
| commit | e3584c77dc2ff8ac683fbbe3a849600022e46800 (patch) | |
| tree | cee7bea3531eee6f9752083ec2c2cb5eddcb47f8 /src | |
| parent | fe48ecd3b1cc11f176c1080539b70abac956f0a0 (diff) | |
lib: Text -> String
Because everything in Graphics.X11 is String, too.
Diffstat (limited to 'src')
| -rw-r--r-- | src/main.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main.hs b/src/main.hs index 2c500c7..41c6eec 100644 --- a/src/main.hs +++ b/src/main.hs @@ -68,7 +68,7 @@ getWorkspaces display screenGeometry focusWindows = do return Workspace { workspace_geometry = screenGeometry , workspace_focused = currentDesktop == index - , workspace_name = name + , workspace_name = Text.pack name , workspace_windows = [] } return $ Map.fromList $ zip [0..] ws @@ -90,7 +90,7 @@ getWorkspaces display screenGeometry focusWindows = do window = Window { window_id = fromIntegral w - , window_title = fromMaybe "" title + , window_title = Text.pack $ fromMaybe "" title , window_geometry = geometry , window_focused = Set.member w focusWindows , window_urgent = urgent |