Oops. Thanks for pointing that out. I pushed a fix. John Darrington <[email protected]> writes:
> Make distcheck now gives: > > ERROR: files left in build directory after distclean: > ./src/ui/gui/include/gtk/gtk.h > make[1]: *** [distcleancheck] Fehler 1 > > On Sat, May 07, 2011 at 10:36:22AM -0700, Ben Pfaff wrote: > John Darrington <[email protected]> writes: > > > commit ef7f207a277f2fa2710115bd21b9c2147860f5af > > Author: Ben Pfaff <[email protected]> > > Date: Fri May 6 20:56:18 2011 -0700 > > > > gui: Provide substitute for gtk_widget_get_realized() for GTK+ < > 2.20. > > > > > > This really needs to be used in a number of other places too. So > moving this > > function somewhere else (probably helper.h) would be useful. > > > > Similar wrapper functions that we need include: > > > > gtk_widget_get_mapped > > gtk_widget_get_visible > > gtk_widget_is_drawable > > gtk_widget_has_focus > > gtk_widget_set_can_focus > > OK, I added a <gtk/gtk.h> wrapper header that takes care of this. > -- > Ben Pfaff > http://benpfaff.org -- Ben Pfaff http://benpfaff.org _______________________________________________ pspp-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/pspp-dev
