Show/hide dock widgets now works properly.