Alexander Wilms wrote: > Here's the bug report: > https://bugs.freedesktop.org/show_bug.cgi?id=54812 > Hi Alex,
sorry for jumping in a bit late - I personally use the pretty-printing option a lot. Perfectly fine with removing the UI code, but would like to keep the actual line feed addition. > Should the design team add easyhacks for each unnecessary option? > Here's an analysis of the current situation: > http://wiki.documentfoundation.org/Design/Analyses/Global_Options > Sounds like a plan to me, with the caveat that removing code that depends on the option / removing the option from the config mgr is a somewhat orthogonal question, see above. Cheers, -- Thorsten
pgplOcz1JRWtx.pgp
Description: PGP signature
_______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice