Murtuza Zabuawala a2a2b8b888 Ensure the query tool displays but does not render HTML returned by the server in the results grid. Fixes #2330.		2017-04-10 14:07:48 +01:00
..
js	Ensure the query tool displays but does not render HTML returned by the server in the results grid. Fixes #2330.	2017-04-10 14:07:48 +01:00
sql	Cast OIDs to oid not int, otherwise we lose half the range which results in objects not being accessible. Fixes #1951	2016-11-11 14:36:41 +00:00
direct.html	The spinner icon is not visible while executing query or running debugger in Runtime environment specific to Ubuntu. This issue is related to RM#1186	2016-07-13 12:32:05 +01:00