зеркало из https://github.com/mozilla/pjs.git
Bug 428792: expanders cause 'unsupported widget' warning, patch by Ian Spence <ispence@gmail.com>, r+sr=roc, a=beltzner
This commit is contained in:
Родитель
b40d693521
Коммит
a48242c32e
|
@ -2771,6 +2771,7 @@ moz_gtk_get_widget_border(GtkThemeWidgetType widget, gint* left, gint* top,
|
|||
case MOZ_GTK_GRIPPER:
|
||||
case MOZ_GTK_PROGRESS_CHUNK:
|
||||
case MOZ_GTK_EXPANDER:
|
||||
case MOZ_GTK_TREEVIEW_EXPANDER:
|
||||
case MOZ_GTK_TOOLBAR_SEPARATOR:
|
||||
case MOZ_GTK_MENUSEPARATOR:
|
||||
/* These widgets have no borders.*/
|
||||
|
|
Загрузка…
Ссылка в новой задаче