10 Commits

Include renames

Author	SHA1	Message	Date
Murtuza Zabuawala	2ddbddba33	Improve display of error messages in the query tool. Fixes #2700	2017-09-20 11:29:24 +01:00
Hao Wang	5141debae7	UX improvements of the history in the query tool. ... - Added copy button for query text. - Historical queries are binned/grouped by day. Patch By: Hao Wang, Sarah McAlear	2017-08-09 16:52:43 +05:30
Joao Pedro De Almeida Pereira	fe95b7670b	Ensure the appropriate entry is focussed when entering the history tab.	2017-07-24 11:46:06 +01:00
Harshal Dhumal	7182b59976	Ensure arrow keys work correctly when the pane is focused instead of the tab in the query tool history.	2017-07-21 13:33:59 +01:00
Matthew Kleiman	e29cd8d83d	Improve the history UI.	2017-07-20 20:50:37 +01:00
Matthew Kleiman	21bfcd83f4	Allow navigation of query history using the arrow keys. Fixes #2590	2017-07-20 20:47:40 +01:00
Harshal Dhumal	fc78202600	Fix clear history.	2017-07-07 15:51:06 +01:00
Matthew Kleiman	e2cbaaef71	UI tweaks for the query history.	2017-07-06 13:08:29 +01:00
Joao Pedro De Almeida Pereira	7f55412059	Overhaul the query history tab to allow browsing of the history and full query text. Fixes #2282 ... Patch by Joao and the team at Pivotal.	2017-06-27 10:55:57 -04:00
Shruti B Iyer	1208206bc0	Initial re-vamp of the History tab.	2017-06-13 09:50:41 +01:00