1.1 --- a/src/contrib/gtk-config-store.cc	Sat Sep 27 15:32:04 2008 +0100
     1.2 +++ b/src/contrib/gtk-config-store.cc	Thu Oct 02 14:57:39 2008 +0200
     1.3 @@ -518,7 +518,7 @@
     1.4    GtkWidget *load = gtk_button_new_with_label ("Load");
     1.5    g_signal_connect (load, "clicked",  (GCallback) load_clicked, window);
     1.6    gtk_box_pack_end (GTK_BOX (hbox), load, FALSE, FALSE, 0);
     1.7 -  GtkWidget *exit = gtk_button_new_with_label ("Exit");
     1.8 +  GtkWidget *exit = gtk_button_new_with_label ("Run Simulation");
     1.9    g_signal_connect (exit, "clicked",  (GCallback) exit_clicked_callback, 0);
    1.10    gtk_box_pack_end (GTK_BOX (hbox), exit, FALSE, FALSE, 0);
    1.11