juha
|
123beaa6dc
|
AnchorDocking: Save the new settings for grabber + generated translations. Part os issue #24672, patch from Andrey Zubarev
git-svn-id: trunk@41964 -
|
2013-07-02 10:59:58 +00:00 |
|
juha
|
d50b5ead1c
|
AnchorDocking: Different colored grabber. Part of issue #24672, patch from Andrey Zubarev
git-svn-id: trunk@41963 -
|
2013-07-02 08:45:13 +00:00 |
|
mattias
|
d85ae3b08e
|
anchordocking: fixed options frame keeping HeaderButtonSize
git-svn-id: trunk@39598 -
|
2012-12-20 15:04:19 +00:00 |
|
mattias
|
10e0c33303
|
anchordocking: added headerstyle to options frame
git-svn-id: trunk@39597 -
|
2012-12-20 14:47:26 +00:00 |
|
mattias
|
9cf9902754
|
moved anchordocking to components
git-svn-id: trunk@36005 -
|
2012-03-14 19:24:11 +00:00 |
|