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
signature.asc
Description: Digital signature
_______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice
