pgAdmin 4 commit: Allow the user to configure tabs in the SQL editor. F

Allow the user to configure tabs in the SQL editor. Fixes #1406

Branch
------
master

Details
-------
http://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=761b54ce69b2aeaa3df4611ef810091e839ba5de
Author: Surinder Kumar <surinder.kumar@enterprisedb.com>

Modified Files
--------------
web/pgadmin/browser/__init__.py                    | 27 ++++++++--------
.../browser/templates/browser/js/browser.js        | 13 ++++++--
web/pgadmin/static/js/backform.pgadmin.js          | 12 +++++---
.../datagrid/templates/datagrid/js/datagrid.js     |  3 +-
.../tools/debugger/templates/debugger/js/direct.js |  3 +-
web/pgadmin/tools/sqleditor/__init__.py            | 36 ++++++++++++++++++++--
.../sqleditor/templates/sqleditor/js/sqleditor.js  |  6 ++--
7 files changed, 73 insertions(+), 27 deletions(-)