Matthew Kleiman e29cd8d83d Improve the history UI.

2017-07-20 20:50:37 +01:00

..

detail

Improve the history UI.

2017-07-20 20:50:37 +01:00

query_history_detail.jsx

Improve the history UI.

2017-07-20 20:50:37 +01:00

query_history_entry.jsx

UI tweaks for the query history.

2017-07-06 13:08:29 +01:00

query_history.jsx

Allow navigation of query history using the arrow keys. Fixes #2590

2017-07-20 20:47:40 +01:00