зеркало из https://github.com/mozilla/pjs.git
Bug 408705 - "Default buttons should be painted as such" [p=ispence@gmail.com (Ian Spence) r+sr=roc a1.9=beltzner]
This commit is contained in:
Родитель
8eb9c97291
Коммит
b46554514c
|
@ -522,7 +522,7 @@ moz_gtk_button_paint(GdkDrawable* drawable, GdkRectangle* rect,
|
|||
file ../../gdk/gdkwindow.c: line 1846 (gdk_window_clear_area):
|
||||
assertion `GDK_IS_WINDOW (window)' failed */
|
||||
gtk_paint_box(style, drawable, button_state, shadow_type, cliprect,
|
||||
widget, "button", x, y, width, height);
|
||||
widget, (state->isDefault ? "buttondefault" : "button"), x, y, width, height);
|
||||
}
|
||||
|
||||
if (state->focused) {
|
||||
|
|
Загрузка…
Ссылка в новой задаче