Author |
Committer |
Branch |
Timestamp |
Parent |
wmayer |
wmayer |
master |
2020-05-01 13:24:16 |
master 3bfa795d |
Changeset |
Gui: [skip ci] fixes: Parameter Editor: Problem resizing columns in right panel |
mod - src/Gui/DlgParameterImp.cpp |
Diff
File
|
mod - src/Gui/DlgParameterImp.h |
Diff
File
|