Puntuado con 5 de 5 estrellas

por DenBar el Dic. 1, 2020 ·

Thank you for introducing this useful feature. Some suggestions for improvement :
- several highlighting colors (as said before)
- removal of highlighting
- contextual menu entries (if possible!)
- keyboard shortcuts

Esta valoración es de una versión anterior del complemento (1.0). 

de C-E (desarrollador) el Dic. 1, 2020 ·

Thank you for your suggestions - first I will work on options page for colour choice and then let's see what I can implement ...
Edit 04.12.2020: new version with options page and many colours available.
Edit 07.12.2020: New unmark function in version 3.0: hold "Shift" + click "Mark!"-Button to set background of the selection to white.
Edit 13.12.2020: Quick colour change realised in version 4.0.