Harshal Dhumal
|
e0da9c5a0c
|
Significantly improve connection loss detection and handling in the query tool. Fixes #2815
|
2018-02-01 14:29:18 +01:00 |
Ashesh Vashi
|
404f1cc8ef
|
Fixing the javascript file after running pga_eslint.js script
|
2018-01-17 13:24:25 +05:30 |
Dave Page
|
55c2ab0b24
|
Fix typo in string.
|
2018-01-16 16:41:43 +05:30 |
Murtuza Zabuawala
|
8520871bc6
|
Monitor connection and transaction status in the query tool. Fixes #2475
|
2018-01-12 14:34:39 +00:00 |
|
Ashesh Vashi
|
c32eb6bd37
|
Fixed the warnings/errors reported by eslint for all the static
javascripts.
|
2018-01-12 13:00:14 +05:30 |
|
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 |
|
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 |