- 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 | |||