- add special png images for docking (mdi buttons differ between widgetsets and not so informative)
- use toolbutton + image drawing instead of mdi button drawing
- track mouse on dock header (buttons become how and pressed)
- execute button actions on mouse-up instead of mouse-down
git-svn-id: trunk@14062 -