I'd suggest to simply show a message about the search isn't available on the php manual. This would be the easiest way.
Ivo F.A.C. Fokkema (Ileos) wrote: > Hi, > > Please re-open this bug as this has been only partly fixed. > > This bug has been 'fixed' by disabling the F1 and Ctrl-F keys in the manual, > but > you can still use the 'Search for:' field on the top of the window and using > it > will still crash gPHPEdit. > > Thanks, > -- Lior Kaplan [EMAIL PROTECTED] http://www.Guides.co.il Debian GNU/Linux unstable (SID) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
