Harshal Dhumal 7389744ecf A number of minor cleanups to the recent changes to the query tool.

2017-06-28 09:49:39 -04:00

..

static/css

A number of minor cleanups to the recent changes to the query tool.

2017-06-28 09:49:39 -04:00

templates/sqleditor

A number of minor cleanups to the recent changes to the query tool.

2017-06-28 09:49:39 -04:00

__init__.py

Add preferences to enable brace matching and brace closing in the SQL editors. Fixes #2513

2017-06-27 09:57:38 -04:00

command.py

Use on-demand loading for results in the query tool. Fixes #2137

2017-06-27 09:03:04 -04:00