Index: chrome/common/gtk_util.h |
diff --git a/chrome/common/gtk_util.h b/chrome/common/gtk_util.h |
index 9a94182e779a63624f253aabaf327acc429ef1c2..1c010927f1caa978001675699cb75b3fb7088070 100644 |
--- a/chrome/common/gtk_util.h |
+++ b/chrome/common/gtk_util.h |
@@ -30,6 +30,9 @@ GtkWidget* CreateGtkBorderBin(GtkWidget* child, const GdkColor* color, |
// Remove all children from this container. |
void RemoveAllChildren(GtkWidget* container); |
+// Force the font size of the widget to |size_pixels|. |
+void ForceFontSizePixels(GtkWidget* widget, double size_pixels); |
+ |
} // namespace gtk_util |
#endif // CHROME_COMMON_GTK_UTIL_H_ |