Javier Jardón e7127daf84 Deprecate widget flag: GTK_WIDGET_IS_SENSITIVE ... Use gtk_widget_is_sensitive() instead https://bugzilla.gnome.org/show_bug.cgi?id=69872		2010-04-03 20:56:29 -04:00
..
engines	Fix menu bar problem in ms-windows theme engine on Windows 7	2010-04-03 20:56:06 -04:00
input
other	Deprecate widget flag: GTK_WIDGET_IS_SENSITIVE	2010-04-03 20:56:29 -04:00
printbackends
Makefile.am