diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-07-15 13:28:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-15 13:28:20 +0200 |
| commit | 4c4ab140b4569f2700517a13b20127eb7542b3ec (patch) | |
| tree | e8a03c2fb061dd59d5af8e772725fc971a20ed76 /tools/editor/settings_config_dialog.h | |
| parent | eaeee58b9ef95f708728161296a66743f45501d3 (diff) | |
| parent | e6eae244d3835addb87ed31f8325f590521c73aa (diff) | |
Merge pull request #5702 from Paulb23/zoom_shortcuts
Added code editor zoom shortcuts
Diffstat (limited to 'tools/editor/settings_config_dialog.h')
0 files changed, 0 insertions, 0 deletions