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()); |