[Dillo-dev] experimental code: highlighting and scrolling

Johannes wrote:

Maybe 6 could be replaced with scrollbar->linesize()?

Yeah, linesize and repeating after 0.025 seems to work well enough for me...