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