Added zoom scaling options with keyboard shortcuts in runtime. Fixes #6271 Branch ------ master
Details ------- https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=49a59f8929fb86d2d9fe9c262193715ba553c887 Modified Files -------------- docs/en_US/desktop_deployment.rst | 21 +++- docs/en_US/images/file_menu.png | Bin 54700 -> 63310 bytes docs/en_US/images/runtime_menu.png | Bin 64350 -> 74270 bytes docs/en_US/menu_bar.rst | 3 + docs/en_US/release_notes_5_1.rst | 1 + runtime/src/js/misc.js | 114 +++++++++++++++++++++- runtime/src/js/pgadmin.js | 31 +++++- web/pgadmin/browser/__init__.py | 40 +++++++- web/pgadmin/browser/static/js/browser.js | 2 +- web/pgadmin/browser/static/js/menu.js | 11 ++- web/pgadmin/browser/static/js/runtime.js | 28 ++++++ web/pgadmin/browser/templates/browser/js/utils.js | 2 + 12 files changed, 242 insertions(+), 11 deletions(-)
