[Andreas]

Hmm, the behavior of the final release version v14.1.0 is different than the behavior of v14.1.0 beta 2. Now, when you set the text color of bookmarked lines to “transparent”, the background color of bookmarked lines will disappear. In my opinion, this is a bug.