ref #10, #9 add quick and dirty workaround for mac dock widget bugs