| 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_
|
|
|