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? Andre' -- Those who desire to give up Freedom in order to gain Security, will not have, nor do they deserve, either one. (T. Jefferson)
