// "value_changed"
//-----------------------------------------------------------------------------
+extern "C" {
static void gtk_spinbutt_callback( GtkWidget *WXUNUSED(widget), wxSpinButton *win )
{
if (g_isIdle) wxapp_install_idle_handler();
win->GetEventHandler()->ProcessEvent( event2 );
}
}
+}
//-----------------------------------------------------------------------------
// wxSpinButton