diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2021-10-09 17:06:51 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-09 17:06:51 -0400 |
commit | 0a8992d21550dff1176820d434b5dd7e4f233749 (patch) | |
tree | 70f06b7add2971a7bd3c41f5a63327a9040fba3f /ext/js/debug/timer.js | |
parent | 0e4b769390ec88e609e862776dff2601227baaa5 (diff) |
Search query back button (#1981)
* Always allow history to go back/forward when using browser history
* Add a back button which is visible when using the query parser
Diffstat (limited to 'ext/js/debug/timer.js')
0 files changed, 0 insertions, 0 deletions