4 Commits (bcb6f37d6f8e6aed4e433d1efb3d76efd14aee31)

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