Improved tab showing

This commit is contained in:
Jesse van den Kieboom 2006-03-31 20:29:12 +00:00
parent 3beebbc9d7
commit 422fa448e6
1 changed files with 13 additions and 3 deletions

View File

@ -217,6 +217,13 @@ gm_world_view_class_init(GmWorldViewClass *klass) {
g_type_class_add_private(object_class, sizeof(GmWorldViewPrivate));
}
static void
gm_world_view_ensure_show_tabs(GmWorldView *view) {
if (!gtk_notebook_get_show_tabs(GTK_NOTEBOOK(view))) {
gtk_notebook_set_show_tabs(GTK_NOTEBOOK(view), TRUE);
}
}
/*gboolean
timeout_text(gpointer user_data) {
GtkTextView *view = GTK_TEXT_VIEW(user_data);
@ -331,7 +338,9 @@ gm_world_view_log_page_new(GmWorldView *view, gchar const *filename) {
gtk_widget_show(log_view);
gtk_notebook_append_page(GTK_NOTEBOOK(view), log_view, label);
gtk_notebook_set_show_tabs(GTK_NOTEBOOK(view), TRUE);
gm_world_view_ensure_show_tabs(view);
gtk_notebook_set_current_page(GTK_NOTEBOOK(view),
gtk_notebook_page_num(GTK_NOTEBOOK(view), log_view));
@ -393,9 +402,10 @@ gm_world_view_editor_page_new(GmWorldView *view, GmEditor *editor) {
if (editor_view == NULL) {
return NULL;
}
gm_world_view_ensure_show_tabs(view);
gtk_notebook_append_page(GTK_NOTEBOOK(view), editor_view, label);
gtk_notebook_set_show_tabs(GTK_NOTEBOOK(view), TRUE);
gtk_notebook_set_current_page(GTK_NOTEBOOK(view),
gtk_notebook_page_num(GTK_NOTEBOOK(view), editor_view));