On Fri, May 31, 2002 at 06:57:38AM +0200, Andre Poenitz wrote: > On Thu, May 30, 2002 at 09:55:11PM +0200, [EMAIL PROTECTED] wrote: > > I launched a search for an inexistent word at the beginning of the User Guide, > > of course it took a while and I found no possibility to cancel the search. > > Maybe it could be a useful new feature. > > Good idea actually. > > Could you file this as a feature request on bugzilla? > Yes, done.
Adrien Rebollo
