Closed Hi-Angel closed 1 month ago
I've been always using the plugin with the faces being locally set to :weight bold, because to my eye identifiers with the default weight are harder to distinguish. I figure, it may be useful to other people, so decided to implement it in the code.
:weight bold
I've been always using the plugin with the faces being locally set to
:weight bold, because to my eye identifiers with the default weight are harder to distinguish. I figure, it may be useful to other people, so decided to implement it in the code.