[xmonad] Issue 158 in xmonad: _NET_WORKAREA support

[codesite-noreply at google.com]

Updates:
	Status: Patch

Comment #12 on issue 158 by vogt.a... at 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