display->flush ();
if (want_refresh && !flush_ev.active)
- flush_ev.start (NOW + 0.01);
+ flush_ev.start (NOW + 1. / 60.); // refresh at max. 60 hz normally
}
void
|| (refresh_count >= refresh_limit * (nrow - 1)))
{
refreshnow = true;
+ refresh_count = 0;
ch = NOCHAR;
break;
}
{
flag = true;
scr_refresh (refresh_type);
+ flush_ev.stop ();
}
}