Factor out client side settings functions into their own JS file,

and add additional variations for getting ints, floats and bools.
2025-02-25 18:55:31 -06:00 · 2015-02-11 15:50:36 +00:00
parent adeb2f9e84
commit afb029e284
4 changed files with 54 additions and 24 deletions
--- a/web/pgadmin/static/js/main.js
+++ b/web/pgadmin/static/js/main.js
@@ -1 +0,0 @@
-