Closed wlemuel closed 8 years ago
@wlemuel thanks, LGTM! But I think redraw! will be better.
redraw!
Yeah, to force screen refresh may be a better choice.
@wlemuel thanks, LGTM! But I think
redraw!
will be better.