GNOME Bugzilla – Bug 517052
Tools->Extensions shouldn't be an extension but a core feature
Last modified: 2012-10-08 17:10:51 UTC
Actually the Tools->Extensions menu is an extension in itself, shipped in epiphany-extensions. This is not ideal since every extension out there will be depending on another extension to work. It should be part of Epiphany itself, so extensions not shipped by epiphany-extensions can easily be enabled without needing to require e-e.
Agreed, but it should be done in such a way that no Tools menu is visible when no extensions are installed, just like the current default.
It will be integrated, when bug #646597 is done.
The old style extensions have been removed from ephy. When we add extension support again we'll definitely make their management a core feature.