Re: [Epiphany] Re: History dropdown menu items not highlit whenselected

["Thomas F. O'Connell" <tfo netcentral com>]

For the record, it does not seem to be fixed in the LATEST alias
available in the GNOME FTP sources.

But I can wait... :) Thanks for the help!

-tfo

On Thu, 2003-07-03 at 11:47, Marco Pesenti Gritti wrote:
> It was a bug of theme. I think it's fixed, at least in cvs.
> 
> Marco