31 Jan
2008
31 Jan
'08
11:08 a.m.
On Wed, Jan 30, 2008 at 07:29:58PM -0500, Brent Yorgey wrote:
The catch? Having a bunch of layouts in a list like this requires going back to wrapping everything with Layout existentials in user configs! =( This doesn't sound like much fun either.
This could be solved by introducing a new list-replacement data type that would have encode in its type the types of all its elements. I'm not saying this is pretty, but it's possible. Of course, having different typed workspaces would be a pain also, and the change would permeate throughout xmonad. -- David Roundy Department of Physics Oregon State University