diff options
| author | tv <tv@krebsco.de> | 2022-10-18 00:51:20 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2022-10-18 00:51:20 +0200 |
| commit | 84a56482858d169769490421e3642e7c2c9d542a (patch) | |
| tree | 8484e9968fd4031c2de3554e592c0b23f91f2b03 /src/Graphics/X11/Extra.hs | |
| parent | fc6105a5e7d1e3a07bf07ea85e7902dd8e9fc849 (diff) | |
getDesktopNames: take all desktops into account
Diffstat (limited to 'src/Graphics/X11/Extra.hs')
0 files changed, 0 insertions, 0 deletions