Oh look, a syntax highlighting, line numbering, block folding, auto-complete-capable editor.
Branch
------
master
Details
-------
http://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=f4982efb19d738543bc29666eb6623836f794c90
Modified Files
--------------
libraries.txt | 2 +-
web/pgadmin/browser/templates/browser/body.html | 77 +-
web/pgadmin/static/css/codemirror/codemirror.css | 309 +
.../static/js/vendor/codemirror/codemirror.js | 8045 ++++++++++++++++++++
.../static/js/vendor/codemirror/mode/sql.js | 391 +
5 files changed, 8812 insertions(+), 12 deletions(-)