diff options
| author | Diego Escalante Urrelo <diegoe@igalia.com> | 2012-02-13 08:11:06 +0800 |
|---|---|---|
| committer | Diego Escalante Urrelo <diegoe@igalia.com> | 2012-02-26 03:57:02 +0800 |
| commit | 374e31fbfe3854f5a17aa10447f1b982dda6b511 (patch) | |
| tree | 9295660cd930308667280510a1e0541b2e477834 /data | |
| parent | cbe450ac0767c542ead9a5ec96a764a4c5dce89d (diff) | |
| download | gsoc2013-epiphany-374e31fbfe3854f5a17aa10447f1b982dda6b511.tar.gz gsoc2013-epiphany-374e31fbfe3854f5a17aa10447f1b982dda6b511.tar.zst gsoc2013-epiphany-374e31fbfe3854f5a17aa10447f1b982dda6b511.zip | |
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.
https://bugzilla.gnome.org/show_bug.cgi?id=669951
Diffstat (limited to 'data')
| -rw-r--r-- | data/ui/epiphany-ui.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/data/ui/epiphany-ui.xml b/data/ui/epiphany-ui.xml index 1abf83899..c4789036f 100644 --- a/data/ui/epiphany-ui.xml +++ b/data/ui/epiphany-ui.xml @@ -91,6 +91,7 @@ <placeholder name="ViewEncodingPlaceholder"/> </menu> <menuitem name="ViewPageSourceMenu" action="ViewPageSource"/> + <menu name="ExtensionsMenu" action="Extensions"/> <separator name="FileSep7"/> <menuitem name="FileCloseWindowMenu" action="FileCloseTab"/> </popup> |