Re: widget documentation [Re: Changing the Edit->Find menuentry]