<div class="gmail_quote">On Tue, Jan 25, 2011 at 5:31 PM, Boudewijn Rempt <span dir="ltr"><<a href="mailto:boud@valdyas.org">boud@valdyas.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div><div></div><div class="h5">On Tuesday 25 January 2011, Sven Langkamp wrote:<br>
> Hi,<br>
><br>
> currently the mirror option for the tools are in every tool that supports<br>
> mirroring. That means that mirroring has to be configured per tool. On IRC<br>
> someone (can't remember who) suggested that it would be faster if we had a<br>
> global setting for that.<br>
><br>
> My proposal is to move the mirror functionality to the toolbar. There it<br>
> should work just like the eraser mode.<br>
> Mockup: <a href="http://i.imgur.com/PXV47.png" target="_blank">http://i.imgur.com/PXV47.png</a><br>
<br>
</div></div>makes a lot of sense to me. I'd like better icons, though :-)<br></blockquote><div><br>Yeah, feel free to make some better ones. ;) <br></div></div>