Rated 5 out of 5 stars

Από τον/την DenBar στις Δεκ. 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

Αυτή η αξιολόγηση γράφτηκε για παλιότερη έκδοση του πρόσθετου (1.0). 

από τον C-E (δημιουργός) στις Δεκ. 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.