comparison src/gui.c @ 848:f4d8553715f7

updated for version 7.0f04
author vimboss
date Fri, 28 Apr 2006 22:34:45 +0000
parents d3bbb5dd3913
children 8cd729851562
comparison
equal deleted inserted replaced
847:d40242891d35 848:f4d8553715f7
3392 int showit = gui_has_tabline(); 3392 int showit = gui_has_tabline();
3393 int shown = gui_mch_showing_tabline(); 3393 int shown = gui_mch_showing_tabline();
3394 3394
3395 if (!gui.starting && starting == 0) 3395 if (!gui.starting && starting == 0)
3396 { 3396 {
3397 /* Updating the tabline uses direct GUI commands, flush
3398 * outstanding instructions first. (esp. clear screen) */
3399 out_flush();
3400 gui_mch_flush();
3401
3397 if (!showit != !shown) 3402 if (!showit != !shown)
3398 gui_mch_show_tabline(showit); 3403 gui_mch_show_tabline(showit);
3399 if (showit != 0) 3404 if (showit != 0)
3400 gui_mch_update_tabline(); 3405 gui_mch_update_tabline();
3401 3406