Closed Bug 551765 Opened 16 years ago Closed 16 years ago

Rename tabs._tabbox to tabs.tabbox

Categories

(Toolkit :: UI Widgets, defect)

defect
Not set
normal

Tracking

()

RESOLVED FIXED
mozilla1.9.3a3

People

(Reporter: dao, Assigned: dao)

Details

(Keywords: dev-doc-complete)

Attachments

(1 file)

Attached patch patchSplinter Review
In bug 347930 I'm going to move the tabbrowser's <tabs/> element outside the <tabbox/>. It would be nice if I could override tabs.tabbox instead of tabs._tabbox for that, similar to tabbox.tabs.
Attachment #431937 - Flags: review?(enndeakin)
Attachment #431937 - Flags: review?(enndeakin) → review+
Keywords: dev-doc-needed
Status: ASSIGNED → RESOLVED
Closed: 16 years ago
Resolution: --- → FIXED
Target Milestone: --- → mozilla1.9.3a3
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Created:
Updated:
Size: