#17721
Andreas
Participant

By the way, your first proposal to set the background color of bookmarked lines to “transparent” did not work for me. When I tried this, the background color of bookmarked lines became white.