Yes it's broke.

[Leeman Strout <leeman mail2 nai net>]

Ok here's a snippet that just doesn't work:


void show_options (GtkWidget *button, gpointer *data)
{ if (GTK_TOGGLE_BUTTON(button)->active) {
    gtk_widget_show (optionsbox);
  } else {
    gtk_widget_hide (optionsbox);
  }
}

And the setup for it elsewhere:

  button_options = gtk_check_button_new_with_label ("Options");
  gtk_signal_connect (GTK_OBJECT (button_options), "clicked",
                      GTK_SIGNAL_FUNC (show_options), NULL);

And hitting the options button just doesn't do anything in 0.99.4  however
it does the expected in 0.99.3  =)

Leeman
alaric@ct2.nai.net