Factor out client side settings functions into their own JS file,
and add additional variations for getting ints, floats and bools.
Branch
------
master
Details
-------
http://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=afb029e284f78c8d87407614a8d76e4e74ecf983
Modified Files
--------------
web/pgadmin/browser/templates/browser/body.html | 26 ++-----------
web/pgadmin/static/js/main.js | 1 -
web/pgadmin/templates/base.html | 4 +-
web/pgadmin/templates/js/settings.js | 47 +++++++++++++++++++++++
4 files changed, 54 insertions(+), 24 deletions(-)