python-editor-v3 icon indicating copy to clipboard operation
python-editor-v3 copied to clipboard

[Drag and drop] Change highlighting on toolkit navigation to persist until some toolkit interaction

Open microbit-matt-hillsdon opened this issue 3 years ago • 0 comments
trafficstars

Currently the toolkit highlighting persists for a few seconds then fades.

We should change this to persist until some toolkit interaction occurs (no time limit). Interactions with the editor don't count.

microbit-matt-hillsdon avatar Jan 13 '22 17:01 microbit-matt-hillsdon