Hi Bernhard, > Profiles - Scrollbars - "Highlight the lines coming into view"
Indeed, thanks for the pointer. I don't remember having turned that on for my profile, but now I have turned it off. Thanks. Sandro, are you fine with closing this bug, then please do so. Thanks Norbert -- PREINING Norbert https://www.preining.info Fujitsu Research Labs + IFMGA Guide + TU Wien + TeX Live + Debian Dev GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13
