Ashesh Vashi 9dd3aeadb5 Do not close the menu, when clicking on the menu with checkbox. ... Introduced a class 'noclose'. Then - menu-item having this class will not propograte the events to its parent, hence - it will not be closed. Some of the CSS applicable only to the immediate buttons only, and not the grand-children.		2016-04-25 22:06:42 +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	Do not close the menu, when clicking on the menu with checkbox.	2016-04-25 22:06:42 +05:30
__init__.py	Creating an empty pgAdmin module container (named tools) for keeping	2016-02-28 12:49:36 +05:30