Re: [scintilla-interest] Re: [Anjuta-list] scrollbars in edit window missing
- From: Naba Kumar <kh_naba yahoo com>
- To: Neil Hodgson <nhodgson bigpond net au>, scintilla-interest lists sourceforge net, Michael Rothwell <rothwell holly-springs nc us>
- Cc: anjuta-list lists sourceforge net
- Subject: Re: [scintilla-interest] Re: [Anjuta-list] scrollbars in edit window missing
- Date: Wed, 4 Apr 2001 07:03:27 -0700 (PDT)
--- 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/
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]