--- np2/x11/gtk/Attic/gtk_main.c	2003/12/11 15:11:56	1.1
+++ np2/x11/gtk/Attic/gtk_main.c	2004/01/23 14:35:46	1.3
@@ -97,7 +97,7 @@ key_press(GtkWidget *w, GdkEventKey *ev,
 	UNUSED(p);
 
 	if (ev->type == GDK_KEY_PRESS) {
-		if ((ev->keyval == GDK_F12) && (np2oscfg.F12COPY == 0))
+		if ((ev->keyval == GDK_F12) && (np2oscfg.F12KEY == 0))
 			xmenu_toggle_item(MOUSE_MODE, !np2oscfg.MOUSE_SW, TRUE);
 		else
 			gtkkbd_keydown(ev->keyval);
@@ -118,7 +118,7 @@ key_release(GtkWidget *w, GdkEventKey *e
 	UNUSED(p);
 
 	if (ev->type == GDK_KEY_RELEASE) {
-		if ((ev->keyval != GDK_F12) || (np2oscfg.F12COPY != 0))
+		if ((ev->keyval != GDK_F12) || (np2oscfg.F12KEY != 0))
 			gtkkbd_keyup(ev->keyval);
 		return TRUE;
 	}
@@ -372,12 +372,27 @@ gui_gtk_widget_quit(void)
 }
 
 void
+gui_gtk_event_process(void)
+{
+
+	/* XXX: Nothing to do */
+}
+
+void
 gui_gtk_set_window_title(const char* str)
 {
 
 	gtk_window_set_title(GTK_WINDOW(window), str);
 }
 
+void
+gui_gtk_messagebox(const char *title, const char *msg)
+{
+
+	printf("%s\n", title);
+	printf(msg);
+}
+
 /* toolkit data */
 gui_toolkit_t gtk_toolkit = {
 	gui_gtk_get_toolkit,
@@ -387,5 +402,7 @@ gui_toolkit_t gtk_toolkit = {
 	gui_gtk_widget_show,
 	gui_gtk_widget_mainloop,
 	gui_gtk_widget_quit,
+	gui_gtk_event_process,
 	gui_gtk_set_window_title,
+	gui_gtk_messagebox,
 };