Closed Bug 785581 Opened 12 years ago Closed 12 years ago

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

Categories

(SeaMonkey :: General, defect)

defect
Not set
normal

Tracking

(Not tracked)

RESOLVED FIXED
seamonkey2.14

People

(Reporter: philip.chee, Assigned: philip.chee)

Details

Attachments

(1 file)

      No description provided.
Use the same ID as Firefox: <menuseparator id="devToolsSeparator"/>
Attachment #655265 - Flags: review?(iann_bugzilla)
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+
> 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.
Pushed to comm-central:
http://hg.mozilla.org/comm-central/rev/54721b83aff8
Status: ASSIGNED → RESOLVED
Closed: 12 years ago
Resolution: --- → FIXED
Target Milestone: --- → seamonkey2.14
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Creator:
Created:
Updated:
Size: