Обсуждение: pgAdmin 4 commit: Display basic query info when execution completes in

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(-)