<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Tue, Jul 21, 2015 at 4:38 AM, Miklos Vajna <span dir="ltr"><<a href="mailto:vmiklos@collabora.co.uk" target="_blank">vmiklos@collabora.co.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi,<br>
<br>
I think as long as the hide whitespace option is a new UI option and<br>
it's disabled by default, it's rather non-controversal. Please push to<br>
gerrit to get code review. :-)<br></blockquote><div><br></div><div>Thanks Miklos.<br><br></div><div>Done: <a href="https://gerrit.libreoffice.org/#/c/17278">https://gerrit.libreoffice.org/#/c/17278</a><br></div><div><br>4 commits to make review easier, although the changeset isn't huge.<br></div><div><br></div><div>Thanks for reviewers in advance!<br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
Thanks,<br>
<br>
Miklos<br>
<br>_______________________________________________<br>
LibreOffice mailing list<br>
<a href="mailto:LibreOffice@lists.freedesktop.org">LibreOffice@lists.freedesktop.org</a><br>
<a href="http://lists.freedesktop.org/mailman/listinfo/libreoffice" rel="noreferrer" target="_blank">http://lists.freedesktop.org/mailman/listinfo/libreoffice</a><br>
<br></blockquote></div><br></div></div>