Change color on hover in navigator of the hovered line #4895
Labels
complexity:low
Good for newcomers, up to a few days of work
prio:1
The most important thing to work on
type:feat
Features and enhancements
When hovering a specific line, one can follow it to the right instance
The text was updated successfully, but these errors were encountered: