Corrected bug in MouseTool.paint() method occuring when user deleted an element immediately after finishing drawing it.
Authored by: reynal 2003-08-08
Parent: [r106]
Child: [r108]
