Anonymous - 2002-12-16

Logged In: YES
user_id=634628

Is it a bug ?
Indeed, when the element is dragged, the selection rectangle
is removed from the WorkTab, but repaint is not called on
the WorkTab due to performance expectations. Do you really
want me to refresh the whole worktab ?