theia-trace-extension
theia-trace-extension copied to clipboard
Selecting time ranges should update selection windows rather than make a new one
trafficstars
This image:
is ambiguous,
It would be desirable to select a time range window cursor and drag it when right click dragging, or invalidate the current window range, or change the color of the current window range to indicate that it is not longer relevant.