Re: [Java-gnome-developer] Question about exception..

[Mark H. <mh...@ca...>]

On Tue, Nov 11, 2003 at 08:40:44PM +0000, Andrew wrote:
> What do we do in this situation? (I haven't researched if it is a known
> bug)?
> Do we log it somewhere, or raise it to this list?

In general, bugs should be submitted to the sourceforge bug tracker for
the java-gnome project. Any changes there get sent here anyway, so we
can all help out if somebody knows the answer. Unfortunately I can't
help with this one - I'm sure you'll get a more helpful response from
somebody else soon though.

> org.gnu.glade.GladeXMLException: Unknown GtkToolbar child property:
> border_width

-- 
  .''`. Mark Howard
 : :' :
 `. `'  http://www.tildemh.com 
   `-   mh...@de... | mh...@ti... | mh...@ca...