Searched refs:MOZ_GTK_HEADER_BAR_BUTTON_BOX (Results 1 – 12 of 12) sorted by relevance
297 MOZ_GTK_HEADER_BAR_BUTTON_BOX, enumerator
567 aGtkWidgetType = MOZ_GTK_HEADER_BAR_BUTTON_BOX; in GetGtkWidgetAndState()
2162 case MOZ_GTK_HEADER_BAR_BUTTON_BOX: { in moz_gtk_get_widget_border()
331 MOZ_GTK_HEADER_BAR_BUTTON_BOX, enumerator
764 aGtkWidgetType = MOZ_GTK_HEADER_BAR_BUTTON_BOX; in GetGtkWidgetAndState()
2433 case MOZ_GTK_HEADER_BAR_BUTTON_BOX: { in moz_gtk_get_widget_border()
717 aGtkWidgetType = MOZ_GTK_HEADER_BAR_BUTTON_BOX; in GetGtkWidgetAndState()
2395 case MOZ_GTK_HEADER_BAR_BUTTON_BOX: { in moz_gtk_get_widget_border()