Reinhard Moser wrote:
workbench_window_configurer.setShowCoolBar( true );
Thanks a lot, this line---in the right place, of course---did the trick :)
thx Martin