comparison src/gui_gtk_x11.c @ 836:5a7843c57316 v7.0e02

updated for version 7.0e02
author vimboss
date Tue, 18 Apr 2006 21:55:01 +0000
parents 5117153003bd
children 1f3b1021f002
comparison
equal deleted inserted replaced
835:8bebcabccc2c 836:5a7843c57316
3291 GtkWidget *page; 3291 GtkWidget *page;
3292 GtkWidget *label; 3292 GtkWidget *label;
3293 tabpage_T *tp; 3293 tabpage_T *tp;
3294 int nr = 0; 3294 int nr = 0;
3295 int curtabidx = 0; 3295 int curtabidx = 0;
3296 char_u *labeltext;
3296 3297
3297 if (gui.tabline == NULL) 3298 if (gui.tabline == NULL)
3298 return; 3299 return;
3299 3300
3300 ignore_tabline_evt = TRUE; 3301 ignore_tabline_evt = TRUE;
3318 label, 3319 label,
3319 nr++); 3320 nr++);
3320 } 3321 }
3321 3322
3322 get_tabline_label(tp); 3323 get_tabline_label(tp);
3324 labeltext = CONVERT_TO_UTF8(NameBuff);
3323 gtk_notebook_set_tab_label_text(GTK_NOTEBOOK(gui.tabline), page, 3325 gtk_notebook_set_tab_label_text(GTK_NOTEBOOK(gui.tabline), page,
3324 (const gchar *)NameBuff); 3326 (const gchar *)labeltext);
3327 CONVERT_TO_UTF8_FREE(labeltext);
3325 } 3328 }
3326 3329
3327 /* Remove any old labels. */ 3330 /* Remove any old labels. */
3328 while (gtk_notebook_get_nth_page(GTK_NOTEBOOK(gui.tabline), nr) != NULL) 3331 while (gtk_notebook_get_nth_page(GTK_NOTEBOOK(gui.tabline), nr) != NULL)
3329 gtk_notebook_remove_page(GTK_NOTEBOOK(gui.tabline), nr); 3332 gtk_notebook_remove_page(GTK_NOTEBOOK(gui.tabline), nr);