From 5930089d6965da4bcc7aa11e1f4d67a76c0dd351 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Mon, 25 Jun 2001 23:52:29 +0000
Subject: hot split/unsplit

---
 mixgtk/mixgtk_gen_handlers.c | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'mixgtk/mixgtk_gen_handlers.c')

diff --git a/mixgtk/mixgtk_gen_handlers.c b/mixgtk/mixgtk_gen_handlers.c
index 983c16c..63314f1 100644
--- a/mixgtk/mixgtk_gen_handlers.c
+++ b/mixgtk/mixgtk_gen_handlers.c
@@ -122,12 +122,6 @@ on_file_compile_activate (GtkWidget *w, gpointer data)
 	     mixgtk_cmd_dispatcher_get_src_path ());
 }
 
-void
-on_main_window_destroy (GtkWidget *w, gpointer data)
-{
-  gtk_main_quit ();
-}
-
 void
 on_debug_run_activate (GtkWidget *w, gpointer p)
 {
-- 
cgit v1.2.3