Closed ianyepan closed 4 years ago
Highlight-thing is a package that provides almost identical functionalities to highlight-symbol. IMO it's a good idea to add support for the former and style it exactly like the latter.
I think someone fixed this :roll_eyes: :smile:
I think someone fixed this
Haha yup I wonder who it was! Anyways thanks for merging hahaha
Highlight-thing is a package that provides almost identical functionalities to highlight-symbol. IMO it's a good idea to add support for the former and style it exactly like the latter.