- Anonymous
| Author | Committer | Branch | Timestamp | Parent | 
|---|---|---|---|---|
| wmayer | wmayer | master | 2020-02-08 04:07:06 | master c3eb6d90 | 
| Changeset | Part: [skip ci] use the right value from the user settings to set point size | |||
| mod - src/Gui/ViewParams.h | Diff File | |||
| mod - src/Mod/Part/Gui/DlgSettingsObjectColor.cpp | Diff File | |||
| mod - src/Mod/Part/Gui/DlgSettingsObjectColor.ui | Diff File | |||
| mod - src/Mod/Part/Gui/ViewProviderExt.cpp | Diff File | |||