- Anonymous
Author | Committer | Branch | Timestamp | Parent |
---|---|---|---|---|
TheMarkster | yorik | master | 2020-07-17 21:41:10 | master ac8259e5 |
Changeset | [Python Gui] add new command Gui.setCommandShortcut(), fix bug in Gui.getCommandShortcut() and Gui.getCommandInfo() where user has changed shortcut via customize dialog, but these 2 commands returned previous default information | |||
mod - src/Gui/Application.h | Diff File | |||
mod - src/Gui/ApplicationPy.cpp | Diff File |