extended widget redraw to include Fl::flush