GtkWidget *notebook;
GPtrArray *terms;
+ /* Accelerator-related instance members */
+ GtkAccelGroup *accel_group;
+ gchar *accel_quit;
+ gchar *accel_next_tab;
+ gchar *accel_prev_tab;
+ gchar *accel_add_term;
+ gchar *accel_remove_term;
+ gchar *accel_copy;
+ gchar *accel_paste;
+ gchar *accel_goto_1;
+ gchar *accel_goto_2;
+ gchar *accel_goto_3;
+ gchar *accel_goto_4;
+ gchar *accel_goto_5;
+ gchar *accel_goto_6;
+ gchar *accel_goto_7;
+ gchar *accel_goto_8;
+ gchar *accel_goto_9;
+ gchar *accel_goto_10;
+
gint number;
GObject *controller; /* pointer back to TildaController */
enum window_states { WINDOW_UP, WINDOW_DOWN } state;