comparison src/uicmd.cc @ 2012:bfb8bc9ddf62

Avoid lots of flicker while resizing the window (when "buffered_drawing" is set to 0 or 1)
author Jorge Arellano Cid <jcid@dillo.org>
date Fri, 13 May 2011 14:14:43 -0400
parents a204cc949c1a
children f542084fa707
comparison
equal deleted inserted replaced
2010:c60462acb9cf 2012:bfb8bc9ddf62
94 tab_w = 80, tab_h = th, tab_n = 0, curtab_idx = -1; 94 tab_w = 80, tab_h = th, tab_n = 0, curtab_idx = -1;
95 tabcolor_active = FL_DARK_CYAN; tabcolor_inactive = 206; 95 tabcolor_active = FL_DARK_CYAN; tabcolor_inactive = 206;
96 Fl_Box *w = new Fl_Box(0,0,0,0,"i n v i s i b l e"); 96 Fl_Box *w = new Fl_Box(0,0,0,0,"i n v i s i b l e");
97 w->box(FL_NO_BOX); 97 w->box(FL_NO_BOX);
98 resizable(0); 98 resizable(0);
99 box(FL_FLAT_BOX);
99 end(); 100 end();
100 101
101 Wizard = new Fl_Wizard(0,tab_h,ww,wh-tab_h); 102 Wizard = new Fl_Wizard(0,tab_h,ww,wh-tab_h);
102 Wizard->end(); 103 Wizard->end();
103 }; 104 };
389 else if (prefs.buffered_drawing != 2) 390 else if (prefs.buffered_drawing != 2)
390 win = new Fl_Window(ww, wh); 391 win = new Fl_Window(ww, wh);
391 else 392 else
392 win = new Fl_Double_Window(ww, wh); 393 win = new Fl_Double_Window(ww, wh);
393 394
394 //Fl_Group::current(0); 395 win->box(FL_NO_BOX);
395 CustTabs *DilloTabs = new CustTabs(ww, wh, 16); 396 CustTabs *DilloTabs = new CustTabs(ww, wh, 16);
396 win->end(); 397 win->end();
397 398
398 int focus = 1; 399 int focus = 1;
399 new_bw = UIcmd_tab_new(DilloTabs, old_ui, focus); 400 new_bw = UIcmd_tab_new(DilloTabs, old_ui, focus);