Some minor cleaning up.
Improved our showing/hiding of docked widgets (closes #149).