diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-06-25 10:36:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-25 10:36:44 +0200 |
| commit | 38faed54baa04a1ffea52020b2c87567aa7cf6e0 (patch) | |
| tree | 68af6ecaf22b7786ff952629e190fe675b762559 /scene/gui | |
| parent | e4c5a16a2c9c9a72675866562c1b9f03f1d55e2c (diff) | |
| parent | 24fdf06b2fcf7c9dc69635bdf63f4d64f38268c9 (diff) | |
Merge pull request #5398 from djrm/shortcuts
Configurable shortcuts for tabs switching
Diffstat (limited to 'scene/gui')
0 files changed, 0 insertions, 0 deletions