Re: [scintilla-interest] Re: [Anjuta-list] scrollbars in edit window missing

[Michael Rothwell <rothwell holly-springs nc us>]

Thanks for jumping in on this problem! I'm using Gnome 1.4 (beta), which
has gtk 1.2.9, of course. If I can help, just let me know.

-M

On 04 Apr 2001 07:03:27 -0700, Naba Kumar wrote:
> 
> --- Neil Hodgson <nhodgson bigpond net au> wrote:
> > Naba Kumar:
> > > Michael Rothwell wrote:
> > > > ... However, the edit area doesn't have any
> > > > scrollbars. I have to "highlight-scroll." Is this a problem with
> > > > Scintilla, or with Anjuta? Has anyone seem this symptom before? Better
> > > > yet, know how to fix it?
> > > >
> > > > -Michael
> > >
> > > I've not encountered that sort of problem before. I think the problem
> > > is with Scintilla because scrollbars are not managed by anjuta, but
> > > they are part of the scintilla widget.
> > >
> > > let us hear from the scintilla devel team.
> > 
> >    This problem occurs on recent versions of GTK+ (1.2.9) with the currently
> > released version of Scintilla or earlier versions of Scintilla. It is hacked
> > around in the current CVS code but at the cost of hard coding the width of
> > scrollbars on GTK+ 1.2.9 so scroll bar width may not match other
> > applications if you change the GTK+ theme.
> > 
> >    I'd appreciate a real fix to this if anyone has the time to track it
> > down.
> > 
> >    Neil
> > 
> I don't have gtk 1.2.9 (ver in my box is 1.2.8) and the scrollbars are
> there very much. I am not very sure if the difference of 0.0.1 in the
> version would bring that much change, but I can always try to find it.
> 
> Unfortunately, I don't have your cvs verion of scintilla.
> Will it be ok if I hack scintilla-134 and send the patch
> (if I am able to find it)?
> 
> Let's get it done fast. Though I've not experienced it, I can
> always feel it trying to edit a 2000 line code without scrollbars
> :-).
> 
> Regards,
> -Naba
> 
> 
> =====
> -------------------------------
> |     The best is in you      |
>  -------------------------------
> 
> __________________________________________________
> Do You Yahoo!?
> Get email at your own domain with Yahoo! Mail. 
> http://personal.mail.yahoo.com/