Okay, done. Bug# is 37108. Thanks! On Wed, Jan 22, 2003 at 10:24:43PM -0500, Miguel de Icaza wrote: > Hello, > > It is a bug. Please file a bug report in bugzilla. >