17 Jan
2013
17 Jan
'13
1:14 p.m.
Updates: Status: Patch Comment #12 on issue 158 by vogt.a...@gmail.com: _NET_WORKAREA support http://code.google.com/p/xmonad/issues/detail?id=158 Attached patch works with one screen. I would push it except concerns: - maybe it doesn't work with multiple screens - maybe the property should only be set iff EwmhDesktops and ManageDocks are both used? Attachments: unconditionally-set-_net_workarea-in-managedocks.dpatch 3.2 KB