diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-08-03 13:37:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-03 13:37:25 +0200 |
| commit | c936e9946eaf68d4b37b713fbfe512278cca278c (patch) | |
| tree | f361c405f1ea8dc057ed87c92025eda082086be2 /platform/x11/key_mapping_x11.cpp | |
| parent | c51354f504a7892483fdce721d720aada4c53671 (diff) | |
| parent | 708ddb05af51a1dcc4cc19ace67e7c4bc23d785b (diff) | |
Merge pull request #10046 from Hinsbart/script_open_resource
ScriptEditor: ctrl+click can open scenes & resources.
Diffstat (limited to 'platform/x11/key_mapping_x11.cpp')
0 files changed, 0 insertions, 0 deletions