On Thu, 12 Jul 2007 20:08:07 +0200, Enrico Tröger enrico.troeger@uvena.de wrote:
_Hide empty symbol types in sidebar_ If a symbol has no declarations, don't show the label. This keeps the symbol sidebar clean.
Maybe somewhen.
s/somewhen/someday/ ;-).
Regards, Enrico