-/* Save the session */
-static gint SaveSession(GnomeClient *client, gint phase,
- GnomeSaveStyle save_style,
- gint is_shutdown, GnomeInteractStyle interact_style,
- gint is_fast, gpointer client_data)
-{
- gchar** argv;
- guint argc;
-
- /* allocate 0-filled, so it will be NULL-terminated */
- argv = g_malloc0(sizeof(gchar*)*4);
- argc = 1;
-
- argv[0] = client_data;
-
- gnome_client_set_clone_command(client, argc, argv);
- gnome_client_set_restart_command(client, argc, argv);
-
- return TRUE;
-}
-
-/* Kill Session */
-static gint KillSession(GnomeClient* client, gpointer client_data)
-{
- gtk_main_quit();
-
- return TRUE;
-}
-