https://bugs.kde.org/show_bug.cgi?id=402756
--- Comment #4 from avlas <jsar...@gmail.com> --- (In reply to Nate Graham from comment #3) > > Anyway, would you consider having an option to modulate how rounded > > highlighting looks? Would that be hard to implement? > No, this isn't reasonable, sorry. This kind of thing should be determined by > the widget style, not specific to Okular. > > Can you attach a screenshot of what you're seeing? It doesn't really look > that round to me. Please see the link: https://user-images.githubusercontent.com/3875196/51194918-09dd6a00-18ba-11e9-9aaa-71b4bf232d88.png I very much prefer sharp highlights, but it's fine if you like rounded highlights. There's not much I can do anyways :) -- You are receiving this mail because: You are the assignee for the bug.
