Author |
Committer |
Branch |
Timestamp |
Parent |
wmayer |
wmayer |
master |
2014-01-18 13:37:34 |
master 9c5f1c21 |
Affected Issues |
0001325: PushButtons in TaskPanel too small |
Changeset |
+ fixes 0001325: PushButtons in TaskPanel too small |
mod - src/Mod/Draft/DraftGui.py |
Diff
File
|