<br><br><div class="gmail_quote">On Nov 20, 2007 10:06 AM, David Roundy <<a href="mailto:droundy@darcs.net">droundy@darcs.net</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d">On Tue, Nov 20, 2007 at 07:01:19AM -0800, David Roundy wrote:<br>> On Mon, Nov 19, 2007 at 09:54:06PM -0500, Brent Yorgey wrote:<br>> > As seen on xmonad@! A module which allows you to configure layouts
<br>> > per-workspace. Testing, comments, criticisms, edits, etc. welcome.<br><br></div>I'd also add that I think it'd be handy to be able to give a list of<br>WorkspaceId rather than just one, so we could say
<br><br>onWorkspaces ["web","email","irc"] mytabbed $<br>onWorkspaces ["darcs","xmonad"] (mytabbed <-//> mytabbed ||| mytabbed) $<br>Full<br><br>That'd be a stupid set of layouts, but you can see the idea: most users
<br>will have two or three sets of layouts, max, and will want to divy them up<br>among their workspaces.</blockquote><br>I thought of this, but the problem is the types. What should the type of onWorkspaces be? If you try to write this function, you get an infinite type error. Unless there's some tricky type-hacking that can be done to get around it.
<br><br>-Brent<br></div>