Akshay Joshi b48145f01f Add an option to auto-complete keywords in upper case. Fixes #2686

2018-06-15 10:18:56 +01: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 an option to auto-complete keywords in upper case. Fixes #2686

2018-06-15 10:18:56 +01: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