Closed Bug 1109288 Opened 10 years ago Closed 10 years ago

Make devtools tabbar have less vertical height

Categories

(DevTools :: Framework, defect)

Product:
DevTools
Component:
Framework
Type:
defect
Priority:
Not set
Severity:
normal

Tracking

(Not tracked)

Status:
RESOLVED FIXED
Milestone:
Firefox 37

People

(Reporter: bgrins, Assigned: bgrins)

Details

Attachments

(2 files)

tab-heights.png
95.37 KB, image/png
Details
tabbar-height.patch
1.22 KB, patch
vporof
: review+
Details | Diff | Splinter Review 
It's just sort of big
Attached image tab-heights.png — 
comparison of current (28px) vs proposed (24px)
Talked with shorlander in IRC about this, and he said it looked fine.
Assignee: nobody → bgrinstead
Status: NEW → ASSIGNED
Attachment #8533943 - Flags: review?(vporof)
Attachment #8533943 - Flags: review?(vporof) → review+
https://hg.mozilla.org/mozilla-central/rev/2a49de213450
Status: ASSIGNED → RESOLVED
Closed: 10 years ago
Resolution: --- → FIXED
Whiteboard: [fixed-in-fx-team]
Target Milestone: --- → Firefox 37
Product: Firefox → DevTools
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Creator:
Created:
Updated:
Size: