Akshay Joshi 38ee39ae7a Add support for LISTEN/NOTIFY in the query tool. Fixes #3204

2018-05-30 21:58:28 -04:00

..

calculate_query_run_time.js

Show more granular timing info in the query tool history panel. Fixes #3244

2018-04-03 14:11:11 +01:00

call_render_after_poll.js

Show more granular timing info in the query tool history panel. Fixes #3244

2018-04-03 14:11:11 +01:00

execute_query.js

Add support for LISTEN/NOTIFY in the query tool. Fixes #3204

2018-05-30 21:58:28 -04:00

filter_dialog_model.js

Update filter dialogue Javascript to use ES6.

2018-04-06 10:38:04 +01:00

filter_dialog.js

Update filter dialogue Javascript to use ES6.

2018-04-06 10:38:04 +01:00

query_tool_actions.js

Add keyboard shortcuts for the Query Tool. Fixes #2900

2018-02-27 14:32:03 +00:00

query_tool_http_error_handler.js

Refactor and simplify query tool connection error handling code. Fixes #3235

2018-04-04 11:20:36 +01:00

query_tool_notifications.js

Add support for LISTEN/NOTIFY in the query tool. Fixes #3204

2018-05-30 21:58:28 -04:00