GNOME Bugzilla – Bug 669951
extensions: resurrect the Tools menu as Extensions
Last modified: 2012-02-27 12:33:50 UTC
To reenable the extensions manager UI and menu items installed by extensions. A 3.3.5 ephy extensions release will follow.
Created attachment 207413 [details] [review] ephy-bookmarks-ui: fix typo in activate_bookmarks_menu
Created attachment 207414 [details] [review] ephy-window: add a Extensions menu Together with epiphany-extensions-3.3.5 this makes the extensions manager visible again, and also all the extensions menu items.
(In reply to comment #1) > Created an attachment (id=207413) [details] [review] > ephy-bookmarks-ui: fix typo in activate_bookmarks_menu What does this have to do with Extensions?
(In reply to comment #2) > Created an attachment (id=207414) [details] [review] > ephy-window: add a Extensions menu > > Together with epiphany-extensions-3.3.5 this makes the extensions > manager visible again, and also all the extensions menu items. So this will be visible and empty by default?
Created attachment 208372 [details] [review] ephy-window: add a Extensions menu Together with epiphany-extensions-3.3.90 this makes the extensions manager visible again, and also all the extensions menu items. = Indeed, the menu only appears when there are extensions available. Otherwise it is not present. Nitpick: should it be internally called Tools, or Extensions?
Review of attachment 208372 [details] [review]: OK.
Attachment 208372 [details] pushed as 374e31f - ephy-window: add a Extensions menu
Now that Epiphany has an application menu (the one visible in gnome-shell's top bar) and a window menu (the one next to the address widget), wouldn't it be more logical to have the extensions menu inside the application menu (rather than inside the window menu)? After all, the extensions are shared by each window of the app, aren't they?