pgAdmin 4 commit: Add keyboard shortcuts for the Query Tool. Fixes#290 - Mailing list pgadmin-hackers

Add keyboard shortcuts for the Query Tool. Fixes #2900

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=a9de043fef964586858acb7070cbbebf2601b340
Author: Murtuza Zabuawala <murtuza.zabuawala@enterprisedb.com>

Modified Files
--------------
.../images/preferences_sql_keyboard_shortcuts.png  | Bin 0 -> 138163 bytes
docs/en_US/keyboard_shortcuts.rst                  |  38 +-
docs/en_US/preferences.rst                         |   5 +
web/pgadmin/static/js/keyboard_shortcuts.js        |  52 +-
.../static/js/sqleditor/query_tool_actions.js      |  48 +-
web/pgadmin/tools/datagrid/__init__.py             |   8 +-
.../tools/datagrid/templates/datagrid/index.html   |  79 ++-
web/pgadmin/tools/debugger/__init__.py             |  36 +-
web/pgadmin/tools/sqleditor/__init__.py            | 244 +-------
web/pgadmin/tools/sqleditor/static/js/sqleditor.js |   5 +-
.../tools/sqleditor/tests/test_pref_utilities.py   | 100 ++++
.../sqleditor/utils/query_tool_preferences.py      | 653 +++++++++++++++++++++
web/pgadmin/utils/__init__.py                      |  37 ++
.../sqleditor/keyboard_shortcuts_spec.js           | 184 +++++-
14 files changed, 1133 insertions(+), 356 deletions(-)