0007646: Tab background height changes based on "Always show tabs" option

ID	Project	Category	View Status	Date Submitted	Last Update

0007646	MMW v4	Framework: Skinning	public	2011-04-08 19:50	2011-05-28 01:30

Reporter	~~stephen_platt~~	Assigned To
Priority	urgent	Severity	minor	Reproducibility	always
Status	closed	Resolution	fixed
Product Version	4.0
Target Version	4.0	Fixed in Version	4.0

Summary	0007646: Tab background height changes based on "Always show tabs" option
Description	The tab background height changes based on the "Always show tabs" option at Options > Appearance. If "Always show tabs" is unchecked, then this area height decreases by 2 pixels. I can't really see any good reason why this should be. The tabs would still fit in this space with decreased height anyway, so it's not a matter of saving screen space. Further it creates an inconsistency (especially troublesome with certain tab backgrounds). I think the height here should be standardized and shouldn't change based on this option.
Tags	No tags attached.
Attached Files	alwaysshowtabbug.png (23,817 bytes) alwaysshowtabbug.png (23,817 bytes) tabback.png (25,299 bytes) tabback.png (25,299 bytes)

Fixed in build	1381

rusty 2011-05-06 20:41 administrator ~0024916	As far as I can see, the issue is related to whether a tab is opened or not (and is independent of whether 'always show tabs' is enabled. i.e. the additional pixels are there even if 'always show tabs' is disabled and the user adds a tab. The rational is probably because the tab takes a bit of extra space. Please re-open if you disagree.

~~stephen_platt~~ 2011-05-07 02:58 developer ~0024931	Rusty, I'm not sure I follow you. Here's how I see it: [x] Always show the tab bar -No problem here, the height is always the same regardless of number of open tabs [ ] Always show the tab bar -Multiple tabs open: again, no problem. Height matches above -Only one tab open (so no tab appears) - the tab bar height is 2 pixels shorter. This causes issue shown in the newly attached image (vitreous skin) Since the problem only occurs when 'Always show the tab bar' is unchecked, that's why I reported it that way. Also, since it only takes off 2 pixels (hardly much space at all) - I don't think it's worth it.

rusty 2011-05-16 04:36 administrator ~0025310	Petr, I'll leave this to you to triage i.e. unless it's trivial to fix or you think that the issue is symptomatic of a deeper issue, you can probably push it to 'high'.

petr 2011-05-27 12:14 developer ~0025701	Fixed in 1381

~~stephen_platt~~ 2011-05-28 01:30 developer ~0025720	verified 1381