Display basic query info when execution completes in the query tool. Fixes #1507
Branch
------
master
Details
-------
http://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=f4f8273994ee00ac1fb98f6848339d4735c0bf05
Modified Files
--------------
docs/en_US/images/preferences_sql_display.png | Bin 43477 -> 78852 bytes
docs/en_US/preferences.rst | 6 ++++--
web/pgadmin/tools/sqleditor/__init__.py | 17 +++++++++++++++--
.../sqleditor/templates/sqleditor/js/sqleditor.js | 17 +++++++++++++----
4 files changed, 32 insertions(+), 8 deletions(-)