On Tue, Sep 25, 2012 at 8:40 AM, Terry Brown <[email protected]> wrote:
> On Tue, 25 Sep 2012 08:30:13 -0500
> "Edward K. Ream" <[email protected]> wrote:
>
>> My initial attempt at saving/restoring scrollbar position in
setEditorColors haven't worked, but I'm pretty sure a fix can be found soon.

> In case it helps:

Thanks for this.  w.verticalScrollBar().sliderPosition() doesn't seem
to be correct just at the moment update_style_sheet needs it. I'll
investigate using your probe.

Edward

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/leo-editor?hl=en.

Reply via email to