pgadmin4/web/pgadmin/tools
Ashesh Vashi 085ce50545 Refresh the SQL control, whenever necessary.
Also, remove the CodeMirror object for better clean up process.

When a SQL control/tab is rendered in a hidden element, it does not
render really well. Because - it rely on the height, and width of the
container to count the gutten position, and margin, and other elements.

Hence - whenever the tab, panel becomes visible, we will refresh the
control.
2016-04-22 15:29:23 +05:30
..
datagrid Updated the CodeMirror to the latest stable version (5.14.2). 2016-04-22 15:28:34 +05:30
debugger Refresh the SQL control, whenever necessary. 2016-04-22 15:29:23 +05:30
grant_wizard Support procedures and ignore packages that look like schemas properly in PPAS 2016-04-16 10:01:28 +01:00
sqleditor Updated the CodeMirror to the latest stable version (5.14.2). 2016-04-22 15:28:34 +05:30
__init__.py Creating an empty pgAdmin module container (named tools) for keeping 2016-02-28 12:49:36 +05:30