Comments

• to be able to set the default color for pen, highlight etc. would be an enormous time saving!!

  in Default Highlight Color Comment by Contrd01 April 29, 2025