3 Commits (9588d76b752ac7700aefcde4281c8ff126148576)

Author	SHA1	Message	Date
Surinder Kumar	2a87585665	Fix script options which were inadvertently broken in the query tool tab naming patch.	2017-06-15 12:19:47 +01:00
Shruti B Iyer	3f4f8b9e77	Add linting support, and, well, lint.	2017-06-12 16:55:14 +01:00
Surinder Kumar	2fddf750e6	Retain column sizing in the query tool results grid when the same query is re-run multiple times in a row. Fixes #1971	2017-06-08 12:41:56 +01:00