3 Commits (9be1364d1afa92f9525cd9df2f4420ee2f4e423f)

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
Surinder Kumar	49976b1934	Fine tune result grid column sizing now we don't have checkboxes.	2017-06-09 09:24:20 +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