pgAdmin 4 commit: Fixed issue of getting/setting preferences options fo

Fixed issue of getting/setting preferences options for 'Explain'

Branch
------
master

Details
-------
http://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=8312efe927bd38615f1071608504d9a2987e1530

Modified Files
--------------
web/pgadmin/tools/sqleditor/__init__.py            |  12 +-
.../sqleditor/templates/sqleditor/js/sqleditor.js  | 181 ++++++++++-----------
2 files changed, 98 insertions(+), 95 deletions(-)