Bug#814563: xul-ext-searchload-options abandoned upstream

2018-09-17 Thread Moritz Mühlenhoff
On Mon, Jul 23, 2018 at 06:18:28PM +0800, David Prévot wrote:
> Hi Christoph,
> 
> On Sat, May 14, 2016 at 01:46:51AM +0200, Christoph Anton Mitterer wrote:
> 
> > I think this is any extremely helpful add-on, and just because there is
> > (currently) no active upstream, doesn't mean it must necessarily be
> > removed.
> 
> […]
> 
> > So pleas refrain from dropping it, unless there would be no way around
> > it in some point in the future.
> 
> With the move to the new webext format, I guess it’s now time to get rid
> of xul-ext-searchload-options. I’d like to ask for it’s removal unless
> someone really wants to take it over.

I just went ahead and filed a removal bug.

Cheers,
Moritz



Bug#814563: xul-ext-searchload-options abandoned upstream

2018-07-23 Thread David Prévot
Hi Christoph,

On Sat, May 14, 2016 at 01:46:51AM +0200, Christoph Anton Mitterer wrote:

> I think this is any extremely helpful add-on, and just because there is
> (currently) no active upstream, doesn't mean it must necessarily be
> removed.

[…]

> So pleas refrain from dropping it, unless there would be no way around
> it in some point in the future.

With the move to the new webext format, I guess it’s now time to get rid
of xul-ext-searchload-options. I’d like to ask for it’s removal unless
someone really wants to take it over.

Regards

David



Bug#814563: xul-ext-searchload-options abandoned upstream

2018-07-23 Thread Christoph Anton Mitterer
Hey.

Well, while I guess it's functionality will be missed, you're right
that it probably makes no sense to keep it, now that Mozilla broke all
XUL add-ons.


Cheers,
Chris.