Рейтинг 5 из 5 звёзд

от 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.