X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelper.h;h=597fdd78b48171c68098950879b8379491815475;hb=90a008db8b2f6e5bec903e584eb68e9bb20c061e;hp=afd3f9f2e378aa65ffc13d499ef9d1cd91263f77;hpb=c2f62689952f31e6b4fc1a3a3a144f1324359165;p=pspp

diff --git a/src/ui/gui/helper.h b/src/ui/gui/helper.h
index afd3f9f2e3..597fdd78b4 100644
--- a/src/ui/gui/helper.h
+++ b/src/ui/gui/helper.h
@@ -76,19 +76,4 @@ GtkListStore * clone_list_store (const GtkListStore *src);
 void psppire_box_pack_start_defaults (GtkBox *box, GtkWidget *widget);
 
 
-
-
-#if ! GTK_CHECK_VERSION (2,20,0)
-static inline gboolean gtk_widget_get_realized (GtkWidget *w)
-{
-  return GTK_WIDGET_REALIZED (w);
-}
-
-static inline gboolean gtk_widget_get_mapped (GtkWidget *w)
-{
-  return GTK_WIDGET_MAPPED (w);
-}
-#endif
-
-
 #endif