Yecine Megdiche
2d33f18dec
XMonad.Prelude: add the WindowScreen
type
...
`WindowScreen` is a type synonym for the specialized `Screen` type, that
results from the `WindowSet` definition in XMonad.Core. Having this type
defined and exported in a central module saves extension developers from
trying to reconstruct it, whenever the general `Screen i l a sid sd` is
not suitable.
Note: this should be moved to `XMonad.Core` in the next core release.
2022-02-24 20:00:46 +01:00
..
2021-09-26 14:15:54 +02:00
2021-09-26 14:15:54 +02:00
2021-09-26 14:15:54 +02:00
2021-11-13 21:26:02 +01:00
2021-11-05 10:14:20 +00:00
2021-09-26 14:15:54 +02:00
2021-09-26 14:15:54 +02:00
2021-11-05 10:14:20 +00:00
2021-11-21 16:42:55 +01:00
2021-10-14 17:57:00 +02:00
2021-09-26 14:15:54 +02:00
2021-11-05 10:14:20 +00:00
2021-09-26 14:15:54 +02:00
2021-09-26 14:15:54 +02:00
2021-11-05 10:14:20 +00:00
2021-12-28 14:00:52 +01:00
2022-02-24 20:00:46 +01:00
2021-09-26 14:15:54 +02:00
2021-11-13 21:26:02 +01:00
2021-11-13 21:26:02 +01:00
2022-01-08 09:06:00 +01:00
2021-11-13 21:26:02 +01:00
2021-11-05 10:14:20 +00:00
2022-02-10 14:42:23 +00:00
2022-01-15 19:12:32 +00:00
2021-11-05 10:14:20 +00:00
2021-11-05 10:14:20 +00:00
2021-09-26 14:15:54 +02:00
2021-09-26 14:15:54 +02:00
2022-01-01 17:55:51 +01:00
2021-11-05 10:14:20 +00:00
2021-09-26 14:15:54 +02:00
2022-02-24 20:00:46 +01:00
2021-11-13 21:26:02 +01:00
2021-09-26 14:15:54 +02:00
2021-09-26 14:15:54 +02:00
2021-09-26 14:15:54 +02:00
2021-10-27 18:06:41 +01:00
2021-09-26 14:15:54 +02:00
2021-10-19 07:56:11 +02:00
2021-09-26 14:15:54 +02:00
2021-09-26 14:15:54 +02:00
2021-11-05 10:14:20 +00:00
2021-11-05 10:14:20 +00:00
2021-11-08 16:46:24 +01:00
2021-09-26 14:15:54 +02:00
2021-09-26 14:15:54 +02:00
2021-09-26 14:15:54 +02:00
2021-09-26 14:15:54 +02:00
2021-11-05 10:14:20 +00:00
2022-02-10 14:23:01 +00:00
2021-09-26 14:15:54 +02:00
2021-09-26 14:15:54 +02:00
2021-09-26 14:15:54 +02:00
2021-11-13 21:26:02 +01:00
2021-10-19 07:56:11 +02:00
2022-02-10 14:42:23 +00:00
2021-09-26 14:15:54 +02:00
2021-11-13 21:26:02 +01:00
2021-11-13 21:26:02 +01:00
2021-09-26 14:15:54 +02:00
2021-11-05 10:14:20 +00:00
2021-11-13 21:26:02 +01:00
2021-11-22 21:12:17 +01:00
2021-09-26 14:15:54 +02:00
2021-11-05 10:14:20 +00:00
2021-10-19 07:56:11 +02:00
2021-10-20 14:50:17 +01:00