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;
gint width;
gint x_position;
gint y_position;
-
- // FIXME: these really should be enum's if possible
- gint tab_position;
- gint animation_orientation;
gint animation_delay;
+ gint initial_terminals;
+
+ GtkPositionType tab_position;
+ GtkPositionType animation_orientation;
gboolean keep_above;
gboolean skip_taskbar_hint;