Source Control Integration - FreeCAD Tracker

NOTICE: Migration to GitHub Issues

On Feb 7, 2022, the FreeCAD project migrated all issues from this site at tracker.freecad.org to our main GitHub repository. All new bugs must be submitted there.
This Mantis repository is in read-only mode and will be retained for reference as long as it is useful.

For details please see the announcement at the Forums: https://forum.freecadweb.org/viewtopic.php?p=555883#p555883

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
Changeset	mod - src/Mod/Draft/DraftGui.py			Diff File

Images attached to issue

FreeCAD: master cf1e4ecd