It's better to reset the widget's damage bits after Fl_Paged_Device::print_widget().

git-svn-id: http://seriss.com/public/fltk/fltk/branches/branch-1.3@10108 ea41ed52-d2ee-0310-a9c1-e6b18d33e121
It's better to reset the widget's damage bits after Fl_Paged_Device::print_widget()  (cont'd).

git-svn-id: http://seriss.com/public/fltk/fltk/branches/branch-1.3@10109 ea41ed52-d2ee-0310-a9c1-e6b18d33e121