X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fwidget-io.h;h=ee708f5426592d7337bd552d45b59da5d75a4635;hb=b525a9596e60d5ae4c6c464b4a426b77ade3dd72;hp=073578c57018dbcc14ff46a20487603a2119db16;hpb=0085c7edf6d3b9c9ee2ce880893023c567886101;p=pspp

diff --git a/src/ui/gui/widget-io.h b/src/ui/gui/widget-io.h
index 073578c570..ee708f5426 100644
--- a/src/ui/gui/widget-io.h
+++ b/src/ui/gui/widget-io.h
@@ -14,8 +14,6 @@
    You should have received a copy of the GNU General Public License
    along with this program.  If not, see <http://www.gnu.org/licenses/>. */
 
-#include <config.h>
-
 #include <gtk/gtk.h>
 
 
@@ -27,14 +25,3 @@
    The returned string should be freed when no longer required.
  */
 gchar * widget_printf (const gchar *fmt, ...);
-
-/*
-   Returns a GtkHBox populated with an GtkLabel and GtkEntry widgets.
-   Each conversion in FMT will cause a GtkEntry (possibly a GtkSpinButton) to
-   be created.  Any text between conversions produces a GtkLabel.
-   There should be N arguments following FMT should be of type GtkEntry **,
-   where N is the number of conversions.
-   These arguments will be filled with a pointer to the corresponding widgets.
-   Their properties may be changed, but they should not be unrefed.
- */
-GtkWidget *widget_scanf (const gchar *fmt, ...);