static void clear_connectmenu (void);
static void help_about (GtkWidget *menu);
static void viewer_shutdown (GtkWidget *src, void *dummy, GtkWidget *vnc);
+#if 0
static void viewer_quit (GtkWidget *src, GtkWidget *vnc);
+#endif
static void viewer_connected (GtkWidget *vnc);
static void viewer_initialized (GtkWidget *vnc, GtkWidget *data);
static void viewer_disconnected (GtkWidget *vnc);
vnc));
}
+#if 0
static void
viewer_quit (GtkWidget *src, GtkWidget *vnc)
{
viewer_shutdown (src, NULL, vnc);
}
+#endif
static void
viewer_connected (GtkWidget *vnc)