Use a font size of 9pt in the tab titles. This is a bit

Use a font size of 9pt in the tab titles.  This is a bit
bigger than before.  This matches the font size used in Windows (the heights are the same), but on Linux, the text render a bit wider.

BUG=17866

[Evan Martin, 2009-08-05 19:12:15]

+estade, baseline man

Would you mind including why we're doing this in the description?  (something
about matching the height of windows but being wider)

LGTM otherwise

[Evan Stade, 2009-08-05 19:50:53]

http://codereview.chromium.org/160663/diff/1003/4
File chrome/browser/gtk/tabs/tab_renderer_gtk.cc (right):

http://codereview.chromium.org/160663/diff/1003/4#newcode548
Line 548: int title_top = kTopPadding + (content_height - title_font_height_) /
2 - 1;
what happens without this change?

[tony, 2009-08-05 20:14:24]

On 2009/08/05 19:50:53, Evan Stade wrote:
> http://codereview.chromium.org/160663/diff/1003/4
> File chrome/browser/gtk/tabs/tab_renderer_gtk.cc (right):
> 
> http://codereview.chromium.org/160663/diff/1003/4#newcode548
> Line 548: int title_top = kTopPadding + (content_height - title_font_height_)
/
> 2 - 1;
> what happens without this change?

We're 2 pixels too low.  I could use the baseline and -2 instead, if you'd like.

[Evan Stade, 2009-08-05 20:28:19]

dang, dunno why it is off. Either way is fine then, can you put a TODO for me to
figure out why the fudge is needed?

[tony, 2009-08-05 20:34:08]

On 2009/08/05 20:28:19, Evan Stade wrote:
> dang, dunno why it is off. Either way is fine then, can you put a TODO for me
to
> figure out why the fudge is needed?

Done, and bug http://crbug.com/18555 filed.