Home
last modified time | relevance | path

Searched refs:moz_gtk_get_widget_border (Results 1 – 5 of 5) sorted by relevance

/external/webkit/WebCore/platform/gtk/
Dgtkdrawing.h274 gint moz_gtk_get_widget_border(GtkThemeWidgetType widget, gint* left, gint* top,
DRenderThemeGtk.cpp131 …if (moz_gtk_get_widget_border(type, &left, &top, &right, &bottom, direction, inhtml) != MOZ_GTK_SU… in adjustMozStyle()
Dgtk2drawing.c2615 moz_gtk_get_widget_border(GtkThemeWidgetType widget, gint* left, gint* top, in moz_gtk_get_widget_border() function
/external/webkit/WebCore/
DChangeLog-2009-06-1616695 (moz_gtk_get_widget_border):
76162 (moz_gtk_get_widget_border):
90658 (moz_gtk_get_widget_border):
DChangeLog-2008-08-1055159 (moz_gtk_get_widget_border):
76178 (moz_gtk_get_widget_border):