- Anonymous
| Author | Committer | Branch | Timestamp | Parent | 
|---|---|---|---|---|
| chennes | wwmayer | master | 2021-02-05 02:06:30 | master 4cdef795 | 
| Changeset | Fix minor issues with Workbenches preference panel This fixes three issues with the new Workbench Loader preferences panel reported by users: * Some icons were not being properly scaled to the new 48x48 size * Some text was being incorrectly cut off, despite fitting in the column * The sort order of the workbenches was incorrect when external workbenches were added | |||
| mod - src/Gui/DlgPreferencesImp.cpp | Diff File | |||
| mod - src/Gui/DlgSettingsLazyLoadedImp.cpp | Diff File | |||