diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-11-17 15:09:39 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-17 15:09:39 +0100 |
| commit | b59a6fc40e70e435821734429fab0df571475172 (patch) | |
| tree | 636faf233f73036a935a835f1a8bf7c97b2c9919 /modules/mono/config.py | |
| parent | 3d02d2e3b86386dc8efedc3a0aa49400a7293dc0 (diff) | |
| parent | 79e4e267380a25b6e525198c5baa8598b2a2620e (diff) | |
Merge pull request #38201 from Calinou/editor-f2-rename-node
Require Ctrl for switching between editors, bind F2 to Rename Node
Diffstat (limited to 'modules/mono/config.py')
0 files changed, 0 insertions, 0 deletions