Function Widget.animate

animates window; interval is time left from previous draw, in hnsecs (1/10000000 of second)

void animate(
  long interval
);