- Anonymous
Author | Committer | Branch | Timestamp | Parent |
---|---|---|---|---|
wmayer | wmayer | master | 2015-09-15 00:12:40 | master 60cd098a |
Affected Issues | 0002106: Add "Default" option in Preferences | |||
Changeset | + fixes 0002106: Add 'Default' option in Preferences | |||
mod - src/Gui/DlgPreferences.ui | Diff File | |||
mod - src/Gui/DlgPreferencesImp.cpp | Diff File | |||
mod - src/Gui/DlgPreferencesImp.h | Diff File |