[horde] Settings (horde, currently released version)

[Chuck Hagenbuch]

Quoting joho at poolia.se:

> If a settings section (i.e. a header) does not contain any
> enabled settings (that the user can change), it'd be nice
> if that section/header wasn't displayed at all.
> 
> Right now, I have disabled all settings under for example
> "Personal information", yet it is there and clickable.
> When the user klicks on it, no options are displayed.

We do this where we can figure out that nothing should be displayed, but
because of all of the types in the preferences system, there are some cases
that are harder than others. Any patches to improve our logic would be great.

-chuck

--
Charles Hagenbuch, <chuck at horde.org>
must ... find ... acorns ... *thud*