On Tue, Jul 21, 2015 at 4:38 AM, Miklos Vajna <vmiklos@collabora.co.uk>
wrote:
Hi,
I think as long as the hide whitespace option is a new UI option and
it's disabled by default, it's rather non-controversal. Please push to
gerrit to get code review. :-)
Thanks Miklos.
Done: https://gerrit.libreoffice.org/#/c/17278
4 commits to make review easier, although the changeset isn't huge.
Thanks for reviewers in advance!
Thanks,
Miklos
_______________________________________________
LibreOffice mailing list
LibreOffice@lists.freedesktop.org
http://lists.freedesktop.org/mailman/listinfo/libreoffice
Context
Privacy Policy |
Impressum (Legal Info) |
Copyright information: Unless otherwise specified, all text and images
on this website are licensed under the
Creative Commons Attribution-Share Alike 3.0 License.
This does not include the source code of LibreOffice, which is
licensed under the Mozilla Public License (
MPLv2).
"LibreOffice" and "The Document Foundation" are
registered trademarks of their corresponding registered owners or are
in actual use as trademarks in one or more countries. Their respective
logos and icons are also subject to international copyright laws. Use
thereof is explained in our
trademark policy.