Comment on attachment 8923047 Bug 1403483 - Show tab separator on first tab instead of on the pre-tabs whitespace.
https://reviewboard.mozilla.org/r/194262/#review200420
It's not clear to me why this patch moves the border away fron the pre-tabs whitespace. Why can we not just fix that border's height?
Comment on attachment 8923047
Bug 1403483 - Show tab separator on first tab instead of on the pre-tabs whitespace.
https:/ /reviewboard. mozilla. org/r/194262/ #review200420
It's not clear to me why this patch moves the border away fron the pre-tabs whitespace. Why can we not just fix that border's height?