After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 316247 - Page Info extension should show up in view menu
Page Info extension should show up in view menu
Status: RESOLVED FIXED
Product: epiphany-extensions
Classification: Deprecated
Component: page-info
1.8.x
Other Linux
: Normal normal
: ---
Assigned To: epiphany-extensions-maint
Marco Pesenti Gritti
Depends on:
Blocks:
 
 
Reported: 2005-09-13 22:16 UTC by Wouter Bolsterlee (uws)
Modified: 2005-09-24 12:11 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
proposed patch (1.48 KB, patch)
2005-09-24 11:13 UTC, Tommi Komulainen 		none Details | Review

Description Wouter Bolsterlee (uws) 2005-09-13 22:16:05 UTC 
The "Page info" extension adds a menu item in the Tools menu. I think it's more
appropriate to add it to the view menu, just above "view source".
Comment 1 Wouter Bolsterlee (uws) 2005-09-15 16:02:03 UTC 
Correcting the summary, it should really go into the view menu :)
Comment 2 Tommi Komulainen 2005-09-24 11:13:27 UTC 
Created attachment 52592 [details] [review]
proposed patch

Moves the 'Page Info' entry below 'Page Source' in view menu. Changes '_Page
Info' to 'Pa_ge Info' to avoid clashing mnemonics.
Comment 3 Christian Persch 2005-09-24 12:11:04 UTC 
Checked in on HEAD and gnome-2-12. Thanks for the patch!