| 449 | GNOMEUIINFO_END }; |
| 450 | |
| 451 | static void |
| 452 | ghack_main_window_key_press(GtkWidget *widget, GdkEventKey *event, |
| 453 | gpointer data) |
| 454 | { |
| 455 | /* First, turn off the key press propogation. We've got the |
| 456 | * key, but we don't wan't the underlying Gtk widgets to get it, |
| 457 | * since they do the wrong thing with the arrow keys (shift focus)... */ |
| 458 | gtk_signal_emit_stop_by_name(GTK_OBJECT(mainWindow), "key_press_event"); |
| 459 | |
| 460 | /* stuff the key event into the keybuffer */ |
| 461 | ghack_handle_key_press(widget, event, data); |
| 462 | } |
| 463 | |
| 464 | /* parsing args */ |
| 465 | void |
nothing calls this directly
no test coverage detected