Re: [Denemo-devel] d-PopPosition d-PushPosition, Selections

[Richard Shann]

On Wed, 2010-02-03 at 22:42 +0100, address@hidden wrote:
> 5) Sidenote: Zooming seems not to affect the scrollbars, but it
> should.

I haven't done anything about this, as I don't quite understand what
might be needed. That is, I haven't hit any problems with the scroll
bars after zooming. But they look at bit suspicious.
I can try messing with them sometime perhaps.

Richard