Re: GTK v1.3.2: New text widgets

["J. Ali Harlow" <gtk-list avrc city ac uk>]

On Tue, 09 Jan 2001, Havoc Pennington wrote:
> I opened this bug about it, if you want to put yourself on the cc
> list:
>  http://bugzilla.gnome.org/show_bug.cgi?id=40304
> 
> Will be looking at fixing that in the near future.

Done, thank you.

> I've seen this from time to time, but not recently. On Dec. 1 I made a
> fix that I thought would fix it. I'm not sure if that was before or
> after 1.3.2 (you were using 1.3.2 right?).
> 
> Anyhow, if it was before, it would be helpful if you can come up with
> a good reliable way to duplicate the problem.

Yup, I'm using 1.3.2. CVS tells me that this was released using delta 1.46 of
gtktextview.c, which was commited on 16th November. Next time you checkpoint
the code, I'll upgrade and make sure it works.

Cheers,

-- 
Ali Harlow                              Email: ali avrc city ac uk
Research programmer                     Tel:   (020) 7477 8000 X 4348
Applied Vision Research Centre          Intl: +44 20 7477 8000 X 4348
City University                         Fax:   (020) 7505 5515
London                                  Intl: +44 20 7505 5515