ref #80 fix alignment of dock widgets in mac