On 12/09/12 17:09, Thorsten Behrens wrote: > 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.
i wonder, would both of you be happy if the option in the UI were visible only in a --enable-dbgutil build ? i.e. end users never see it, but developers do. _______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice