Open drbenvincent opened 1 year ago
@drbenvincent I wish there were an option to have a "dot" or some other symbol to separate one tag from another.
Because right now, it's hard to differentiate.
Or, if every other tag were a slightly different color.
cc: @symeneses, in case you have any ideas on this.
Would also be good to remove the indent of all the tags. That would free up more space for the tags and make them less cramped
Currently, the tags are ordered first by capitalised/uncapitalised, then by alphabetical order.
I propose that this change to be only sorted by alphabetical order, regardless of capitalisation.
Currently, tags look like this:
PS. I don't know how to go about implementing this.