diff options
| author | Manolo Gouy <Manolo> | 2014-02-20 21:16:28 +0000 |
|---|---|---|
| committer | Manolo Gouy <Manolo> | 2014-02-20 21:16:28 +0000 |
| commit | 291a25f54717a09f474a23932263cbe5cc710664 (patch) | |
| tree | 35c9d7644b6d8300e93ab3f25278783e446dbc76 | |
| parent | 079d029379748db5597e3a58cbc6c112151531ce (diff) | |
It's better to reset the widget's damage bits after Fl_Paged_Device::print_widget() (cont'd).
git-svn-id: file:///fltk/svn/fltk/branches/branch-1.3@10109 ea41ed52-d2ee-0310-a9c1-e6b18d33e121
| -rw-r--r-- | src/Fl_Paged_Device.cxx | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Fl_Paged_Device.cxx b/src/Fl_Paged_Device.cxx index dfefc6238..c8eb22249 100644 --- a/src/Fl_Paged_Device.cxx +++ b/src/Fl_Paged_Device.cxx @@ -81,7 +81,8 @@ void Fl_Paged_Device::print_widget(Fl_Widget* widget, int delta_x, int delta_y) if (new_x != old_x || new_y != old_y) { untranslate(); } - widget->clear_damage(old_damage); + if ((old_damage & FL_DAMAGE_CHILD) == 0) widget->clear_damage(old_damage); + else widget->damage(FL_DAMAGE_ALL); } |
