|
|
| version 1.14, 2008/04/03 13:53:25 | version 1.16, 2010/08/16 14:26:55 |
|---|---|
| Line 2037 create_menu(void) | Line 2037 create_menu(void) |
| gtk_widget_add_events(menubar, EVENT_MASK); | gtk_widget_add_events(menubar, EVENT_MASK); |
| g_signal_connect(GTK_OBJECT(menubar), "enter_notify_event", | g_signal_connect(GTK_OBJECT(menubar), "enter_notify_event", |
| GTK_SIGNAL_FUNC(enter_notify_evhandler), NULL); | G_CALLBACK(enter_notify_evhandler), NULL); |
| g_signal_connect(GTK_OBJECT(menubar), "leave_notify_event", | g_signal_connect(GTK_OBJECT(menubar), "leave_notify_event", |
| GTK_SIGNAL_FUNC(leave_notify_evhandler), NULL); | G_CALLBACK(leave_notify_evhandler), NULL); |
| return menubar; | return menubar; |
| } | } |
| Line 2062 void | Line 2062 void |
| xmenu_toggle_menu(void) | xmenu_toggle_menu(void) |
| { | { |
| if (GTK_WIDGET_VISIBLE(menubar)) | if (gtk_widget_get_visible(menubar)) |
| xmenu_hide(); | xmenu_hide(); |
| else | else |
| xmenu_show(); | xmenu_show(); |