Add in ID to the Web Development menu separator to make it easier for extensions to hook into our Tools menu.

RESOLVED FIXED in seamonkey2.14

Status

SeaMonkey
General
RESOLVED FIXED
5 years ago
5 years ago

People

(Reporter: Philip Chee, Assigned: Philip Chee)

Tracking

Trunk
seamonkey2.14

Firefox Tracking Flags

(Not tracked)

Details

Attachments

(1 attachment)

Comment hidden (empty)
(Assignee)

Comment 1

5 years ago
Created attachment 655265 [details] [diff] [review]
Patch v1.0 Use the same ID as Firefox "devToolsSeparator"

Use the same ID as Firefox: <menuseparator id="devToolsSeparator"/>
Attachment #655265 - Flags: review?(iann_bugzilla)

Comment 2

5 years ago
Comment on attachment 655265 [details] [diff] [review]
Patch v1.0 Use the same ID as Firefox "devToolsSeparator"

Is it worth looking at changing the <menupopup id="toolsPopup"> id to "menu_ToolsPopup" in a separate bug?
Attachment #655265 - Flags: review?(iann_bugzilla) → review+
(Assignee)

Comment 3

5 years ago
> Is it worth looking at changing the <menupopup id="toolsPopup"> id to
> "menu_ToolsPopup" in a separate bug?
Unfortunately our "toolsPopup" corresponds to the Firefox "menuWebDeveloperPopup"
and it's our "taskPopup" that is the equivalent of the Firefox "menu_ToolsPopup"
I'd say shuffling these around will cause more problems that it will fix.
(Assignee)

Comment 4

5 years ago
Pushed to comm-central:
http://hg.mozilla.org/comm-central/rev/54721b83aff8
Status: ASSIGNED → RESOLVED
Last Resolved: 5 years ago
Resolution: --- → FIXED
Target Milestone: --- → seamonkey2.14
You need to log in before you can comment on or make changes to this bug.