--- src/dedit.h.orig	2007-11-04 00:35:59.000000000 +0100
+++ src/dedit.h	2007-11-04 00:36:08.000000000 +0100
@@ -30,7 +30,6 @@
 extern GnomeMDI *DEmdi;
 
 extern gchar *print_cmd;
-extern gboolean restarted;
 extern const struct poptOption options[];
 extern gint fs_code;
 extern GtkWidget *file_sel;