Add search/replace support to the Query Tool, including regexp matching. Fixes #1765
Branch
------
master
Details
-------
http://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=394381bf754679c42c5e5f39e6ff8e7b2d7ed5fd
Modified Files
--------------
docs/en_US/keyboard_shortcuts.rst | 38 +++++++----
web/pgadmin/browser/__init__.py | 1 +
web/pgadmin/static/css/overrides.css | 18 +++++-
.../tools/datagrid/templates/datagrid/index.html | 48 ++++++++++++++
.../sqleditor/templates/sqleditor/js/sqleditor.js | 75 ++++++++++++++++++++++
5 files changed, 166 insertions(+), 14 deletions(-)