On Tue, Jul 21, 2015 at 4:38 AM, Miklos Vajna <vmik...@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 > >
_______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice
