On Wed, Apr 22, 2015 at 2:38 PM, Marcel Taeumel
<marcel.taeumel at student.hpi.uni-potsdam.de> wrote:
> What about nuking the widget for the system-category completely and adding
> that information to the window's label? :) At least for the hiearchy
> browser.

Ohh, that might actually work..  :)   Maybe replace the phrase:
"Hierarchy Browser:" with the system category?