Re: Design-related questions

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.