gint width;
gint x_position;
gint y_position;
+ gint animation_delay;
gint initial_terminals;
- // FIXME: these really should be enum's if possible
- gint tab_position;
- gint animation_orientation;
- gint animation_delay;
+ GtkPositionType tab_position;
+ GtkPositionType animation_orientation;
gboolean keep_above;
gboolean skip_taskbar_hint;