<br><div class="gmail_quote">On Thu, Jan 31, 2008 at 5:17 AM, Valery V. Vorotyntsev &lt;<a href="mailto:valery.vv@gmail.com">valery.vv@gmail.com</a>&gt; 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 1/31/08, Brent Yorgey &lt;<a href="mailto:byorgey@gmail.com">byorgey@gmail.com</a>&gt; wrote:<br>
&gt;<br>
&gt; The catch? Having a bunch of layouts in a list like this requires<br>
&gt; &nbsp;going back to wrapping everything with Layout existentials in user<br>
&gt; configs! =( This doesn&#39;t sound like much fun either.<br>
<br>
</div>Could you help me recollect the way it looked in user configs?<br>
<br>
- &nbsp; &nbsp; &nbsp; , layoutHook &nbsp; &nbsp; &nbsp; &nbsp; = tiled ||| Mirror tiled ||| noBorders Full<br>
+ &nbsp; &nbsp; &nbsp; , layoutHook &nbsp; &nbsp; &nbsp; &nbsp; = (Layout tiled) ||| (Layout $ Mirror<br>
tiled) ||| (Layout $ noBorders Full)<br>
<br>
Something like this?<br>
</blockquote><div><br>No, you would only need one wrapper, like<br><br>
&nbsp;&nbsp; &nbsp; &nbsp; , layoutHook &nbsp; &nbsp; &nbsp; &nbsp; = Layout $ tiled ||| Mirror tiled ||| noBorders Full<br><br><br></div></div>