Removed jmanager_dispatch_messages() from jwidget_scroll() because it is not necessary and it give us problems with the editor scroll movement.

This commit is contained in:
David Capello 2010-03-07 11:47:40 -02:00
parent 12f762b47f
commit bb689258ff

View File

@ -1263,9 +1263,8 @@ void jwidget_scroll(JWidget widget, JRegion region, int dx, int dy)
jregion_union(widget->update_region, widget->update_region, region);
jregion_subtract(widget->update_region, widget->update_region, reg2);
/* refresh the update_region */
// Generate the JM_DRAW messages for the widget's update_region
jwidget_flush_redraw(widget);
jmanager_dispatch_messages(ji_get_default_manager());
jregion_free(reg2);
}