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
Attachment:
pgpz07YbasdJ4.pgp
Description: PGP signature