Closed Bug 766512 Opened 12 years ago Closed 12 years ago

Rename tab.responsiveUI to tab.__responsiveUI

Categories

(DevTools :: General, defect)

x86
All
defect
Not set
normal

Tracking

(Not tracked)

RESOLVED FIXED
Firefox 16

People

(Reporter: paul, Unassigned)

Details

(Whiteboard: [fixed-in-fx-team])

Attachments

(1 file)

As per bug 764318 comment 10:
> Please file a bug on renaming tab.responsiveUI to tab.__responsiveUI, since
> it's no property managed by tabbrowser.xml but entirely external.
Attached patch v1Splinter Review
Attachment #634886 - Flags: review?(dao)
Attachment #634886 - Flags: review?(dao) → review+
Whiteboard: [land-in-fx-team]
https://hg.mozilla.org/integration/fx-team/rev/722af585eac0
Whiteboard: [land-in-fx-team] → [fixed-in-fx-team]
https://hg.mozilla.org/mozilla-central/rev/722af585eac0
Status: NEW → RESOLVED
Closed: 12 years ago
Resolution: --- → FIXED
Target Milestone: --- → Firefox 16
Product: Firefox → DevTools
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Created:
Updated:
Size: