On Thu, 01 Feb 2007 05:33:36 -0500 "Dan Langille" <[EMAIL PROTECTED]> wrote:
> On 31 Jan 2007 at 10:28, Bakul Shah wrote:
>
> > > I would like a FreshPorts plugin for my broswer. You know what I
> > > mean... I little box into which I can search FreshPorts.org.
> > >
> > > It would save me from typing site:freshports.org as part of my
> > > Google query.
> > >
> > > I use both Firefox and Opera, so a plugin for either that does
> > > that, would be good.
> > >
> > > The author of such a plugin would be immortalized at
> > > FreshPorts.org.... ;)
> >
> > In opera-9 both the search box in the address bar and the
> > `search with' menu (on right clicking a selected string)
> > already have an entry for freshports. Is this not enough?
>
> Where do you think that came from? Is Opera distributing a search
> box for FreshPorts?
/usr/ports/www/opera/files/patch-search.ini
--
IOnut - Un^d^dregistered ;) FreeBSD "user"
"Intellectual Property" is nowhere near as valuable as "Intellect"
"The release of emotion is what keeps us healthy. Emotionally
"That may be, Doctor. However, I have noted that the healthy release
of emotion is frequently unhealthy for those closest to you."
-- McCoy and Spock, "Plato's Stepchildren", stardate
signature.asc
Description: PGP signature
