Design-related questions

[Michael Stahl]

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.