4 Commits (d0a640442cd6dc7bbfdb2647cf1775c13ad79a96)

Author	SHA1	Message	Date
Dave Page	89821c0d19	Update copyright notices for 2018.	2018-01-05 10:42:50 +00:00
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