extension
extension copied to clipboard
Bug: colors wrongly assigned when deleting highlight filters
If you have 2 highlight filters next to each other like this:
[purple] "HF #1" [orange] "HF #2"
And you remove "HF #1", it will delete "HF #1", but then the color of "HF #2" will change to purple... when it should stay orange as it was before. The color reassignments also cascade down and change all the ones below it as well.