<br><div class="gmail_quote">On Jan 14, 2008 10:31 PM, Don Stewart &lt;<a href="mailto:dons@galois.com">dons@galois.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;">
byorgey:<br><div><div></div><div class="Wj3C7c">&gt; &nbsp; &nbsp;Hi all,<br>&gt;<br>&gt; &nbsp; &nbsp;I&#39;ve long thought it silly that we have a way to flip layouts on the<br>&gt; &nbsp; &nbsp;diagonal (Mirror), but not a way to flip them horizontally or vertically,
<br>&gt; &nbsp; &nbsp;e.g. if you wanted the master pane on the right with a Tall layout.<br>&gt; &nbsp; &nbsp;However, I didn&#39;t particularly feel the need for this feature personally<br>&gt; &nbsp; &nbsp;(no one else did either, apparently) so didn&#39;t bother. &nbsp;Well, today
<br>&gt; &nbsp; &nbsp;someone asked how to do this (treadstone on #xmonad) so I thought I&#39;d code<br>&gt; &nbsp; &nbsp;it up for fun. &nbsp;It&#39;s quite straightforward and seems to work well<br>&gt; &nbsp; &nbsp;(respecting any and all gaps, can be applied to any layout, etc.). &nbsp;I&#39;ve
<br>&gt; &nbsp; &nbsp;attached a darcs patch; I&#39;m intentionally refraining from pushing it since<br>&gt; &nbsp; &nbsp;there&#39;s a code freeze on, but figured I&#39;d send it to the list so anyone<br>&gt; &nbsp; &nbsp;who likes can test it out (if you don&#39;t know how to apply a patch -- just
<br>&gt; &nbsp; &nbsp;save it somewhere, cd into the XMonadContrib directory, and &#39;darcs apply<br>&gt; &nbsp; &nbsp;/path/to/patch&#39;). &nbsp;Questions, comments, and patches welcome.<br>&gt;<br><br></div></div>I think its ok to push this to contrib.
<br>I&#39;d even consider a patch for the core to allow reflection on all 4<br>sides after 0.6.<br><font color="#888888"></font></blockquote><br>OK, I&#39;ll go ahead and push it.&nbsp; Yes, it seems like it would make sense for this to go in core, along with Mirror -- or, then again, perhaps it would make sense to take Mirror *out* of core and put it in this module!&nbsp; Guess it depends how important people think it is to be able to have Mirror Tile in the default config.
<br><br>-Brent<br></div>