GtkWidget *selector = get_widget_assert (xml, "psppire-selector3");
GtkWidget *bb = gtk_button_box_new (GTK_ORIENTATION_HORIZONTAL);
GtkWidget *button = gtk_button_new_with_mnemonic (_("O_ptions..."));
GtkWidget *selector = get_widget_assert (xml, "psppire-selector3");
GtkWidget *bb = gtk_button_box_new (GTK_ORIENTATION_HORIZONTAL);
GtkWidget *button = gtk_button_new_with_mnemonic (_("O_ptions..."));