| From: | Dave Page <dpage(at)pgadmin(dot)org> |
|---|---|
| To: | pgadmin-hackers(at)postgresql(dot)org |
| Subject: | pgAdmin 4 commit: Allow the user to configure tabs in the SQL editor. F |
| Date: | 2016-08-19 10:40:23 |
| Message-ID: | E1bahDr-0001BV-Bc@gothos.postgresql.org |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgadmin-hackers |
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(dot)kumar(at)enterprisedb(dot)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(-)
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Dave Page | 2016-08-19 10:40:33 | Re: [pgAdmin4][Patch]: Feature #1406 - Allow setting to use spaces instead of tab in query editor |
| Previous Message | Dave Page | 2016-08-19 10:23:09 | pgAdmin 4 commit: Clarify font sizing description. |