Comments

• +1 from me as well Plus, I'd like it even better if there were different shortcuts for the different colours.

  in Shortcut for highlight Comment by khenggel August 9, 2023