Closed Bug 822271 Opened 12 years ago Closed 12 years ago

The Developer Tools menu items are not checked anymore in the Web Developer menu

Categories

(DevTools :: General, defect)

Product:
DevTools
Component:
General
Platform:
x86
All
Type:
defect
Priority:
Not set
Severity:
normal

Tracking

(Not tracked)

Status:
RESOLVED DUPLICATE of bug 822273

People

(Reporter: sbadau, Unassigned)

Details

Mozilla/5.0 (Windows NT 6.1; rv:20.0) Gecko/20121216 Firefox/20.0 Build ID: 20121216030851 Before the Toolbox, the menu items for the opened developer tools used to be checked, now they aren't. Steps to reproduce: 1. Launch Firefox 2. Open the Style Editor tool from the main menu Tools - Web Developer - Style Editor 3. Go to the Tools menu - Web Developer and check the state of the Style Editor. Expected results: The Style Editor menu item is checked. Actual results: The Style Editor menu item is not checked.
Status: NEW → RESOLVED
Closed: 12 years ago
Resolution: --- → DUPLICATE
Product: Firefox → DevTools
You need to log in before you can comment on or make changes to this bug.