- Anonymous
Author | Committer | Branch | Timestamp | Parent |
---|---|---|---|---|
wmayer | wmayer | master | 2020-03-16 16:29:29 | master 518fd0c0 |
Changeset | Gui: [skip ci] for quick search don't change font family and size but set to bold only because on some systems an almost unreadable font might be taken | |||
mod - src/Gui/DlgParameterImp.cpp | Diff File | |||
mod - src/Gui/DlgParameterImp.h | Diff File |