Anthony Dresser 03ea265bab Hide tabs on reexecute (#2624) ...

* add logic to hide tabs when a query rerun is executed

* remove double entry in the map

2018-09-18 17:56:37 -07:00

..

browser/ui

Hide tabs on reexecute (#2624)

2018-09-18 17:56:37 -07:00

common

Fix bug around debounced event not being flushed in time (#2536)

2018-09-11 21:22:25 -07:00