| Index: Source/core/rendering/RenderThemeChromiumFontProviderLinux.cpp
|
| diff --git a/Source/core/rendering/RenderThemeChromiumFontProviderLinux.cpp b/Source/core/rendering/RenderThemeChromiumFontProviderLinux.cpp
|
| index d84505c3c864cea3af7c34f066aac73dcc7a909a..c09bbcd33e3f9d9a308d37c69298e3b7dafed06f 100644
|
| --- a/Source/core/rendering/RenderThemeChromiumFontProviderLinux.cpp
|
| +++ b/Source/core/rendering/RenderThemeChromiumFontProviderLinux.cpp
|
| @@ -41,11 +41,11 @@ void RenderThemeChromiumFontProvider::setDefaultFontSize(int fontSize)
|
| }
|
|
|
| // static
|
| -void RenderThemeChromiumFontProvider::systemFont(int propId, FontDescription& fontDescription)
|
| +void RenderThemeChromiumFontProvider::systemFont(CSSValueID valueID, FontDescription& fontDescription)
|
| {
|
| float fontSize = s_defaultFontSize;
|
|
|
| - switch (propId) {
|
| + switch (valueID) {
|
| case CSSValueWebkitMiniControl:
|
| case CSSValueWebkitSmallControl:
|
| case CSSValueWebkitControl:
|
| @@ -56,6 +56,8 @@ void RenderThemeChromiumFontProvider::systemFont(int propId, FontDescription& fo
|
| static const float pixelsPerInch = 96.0f;
|
| fontSize -= (2.0f / pointsPerInch) * pixelsPerInch;
|
| break;
|
| + default:
|
| + break;
|
| }
|
|
|
| fontDescription.firstFamily().setFamily(defaultGUIFont());
|
|
|