1 #include <gtk/gtk.h> 2 3 4 void 5 on_new_window_activate (GtkMenuItem *menuitem, 6 gpointer user_data); 7 8 void 9 on_new_tab_activate (GtkMenuItem *menuitem, 10 gpointer user_data); 11 12 void 13 on_close_window_activate (GtkMenuItem *menuitem, 14 gpointer user_data); 15 16 void 17 on_close_tab_activate (GtkMenuItem *menuitem, 18 gpointer user_data); 19 20 void 21 on_copy_activate (GtkMenuItem *menuitem, 22 gpointer user_data); 23 24 void 25 on_paste_activate (GtkMenuItem *menuitem, 26 gpointer user_data); 27 28 void 29 on_full_screen_activate (GtkMenuItem *menuitem, 30 gpointer user_data); 31 32 void 33 on_hide_menu_activate (GtkMenuItem *menuitem, 34 gpointer user_data); 35 36 void 37 on_info_activate (GtkMenuItem *menuitem, 38 gpointer user_data); 39 40 void 41 on_window_about_close_button_activate (GtkButton *button, 42 gpointer user_data); 43 44 /*void 45 window_title_changed (GtkWidget *widget, 46 gpointer win);*/ 47 48 void 49 window_title_changed(GtkWidget *widget, gpointer pref); 50 51 void 52 commit(GtkWidget *widget, gchar *arg1, guint arg2, gpointer user_data); 53 54 void 55 char_size_changed(GtkWidget *widget, guint width, guint height, gpointer data); 56 57 void 58 destroy_and_quit_eof (GtkWidget *widget, 59 gpointer data); 60 61 void 62 destroy_and_quit_exited (GtkWidget *widget, 63 gpointer data); 64 65 void 66 status_line_changed (GtkWidget *widget, 67 gpointer data); 68 69 int 70 button_pressed (GtkWidget *widget, 71 GdkEventButton *event, 72 gpointer data); 73 74 void 75 iconify_window(GtkWidget *widget, gpointer data); 76 77 void 78 deiconify_window(GtkWidget *widget, gpointer data); 79 80 void 81 raise_window(GtkWidget *widget, gpointer data); 82 83 void 84 lower_window(GtkWidget *widget, gpointer data); 85 86 void 87 maximize_window(GtkWidget *widget, gpointer data); 88 89 void 90 restore_window(GtkWidget *widget, gpointer data); 91 92 void 93 refresh_window(GtkWidget *widget, gpointer data); 94 95 void 96 resize_window(GtkWidget *widget, guint width, guint height, gpointer data); 97 98 void 99 move_window(GtkWidget *widget, guint x, guint y, gpointer data); 100 101 void 102 adjust_font_size(GtkWidget *widget, gpointer data, gint howmuch); 103 104 void 105 increase_font_size(GtkWidget *widget, gpointer data); 106 107 void 108 decrease_font_size(GtkWidget *widget, gpointer data); 109 110 void 111 mess_with_fontconfig(void); 112 113 gboolean 114 read_and_feed(GIOChannel *source, GIOCondition condition, gpointer data); 115 116 void 117 disconnect_watch(GtkWidget *widget, gpointer data); 118 119 void 120 clipboard_get(GtkClipboard *clipboard, GtkSelectionData *selection_data, 121 guint info, gpointer owner); 122 123 void 124 take_xconsole_ownership(GtkWidget *widget, gpointer data); 125 126 gboolean 127 nb_handle_key (GtkWidget* fenster, GdkEventKey* event, gpointer user_data); 128 129 void on_commit (VteTerminal *vteterminal, gpointer user_data); 130