F5 key should work to refresh Browser tree. Fixes #3284
Refactoring by: Joao Pedro De Almeida Pereira
Branch
------
master
Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=732d8d903dc76eef22b83a8eb01ed754ba877f31
Author: Khushboo Vashi <khushboo(dot)vashi(at)enterprisedb(dot)com>
Modified Files
--------------
.../browser/register_browser_preferences.py | 15 +
web/pgadmin/browser/static/js/keyboard.js | 458 ++++++++++-----------
web/pgadmin/static/js/utils.js | 2 +-
.../javascript/parse_shortcut_value_spec.js | 117 ++++++
4 files changed, 357 insertions(+), 235 deletions(-)