// "doubleclick" command:
MouseEvent e2 = new MouseEvent((Component) e.getSource(), e.getID(), e.getWhen(), e.getModifiersEx(), e.getX(),
e.getY(), e.getClickCount() - 1, e.isPopupTrigger(), e.getButton());
if (finder != null)
finder.markUsed(component);
recorder.record(new UndoOperation(new ClickAction(component.getComponentId(), e2, record_click, scriptModel,
windowMonitor), scriptModel, windowMonitor).enscript(component));
}
ClickAction click = new ClickAction(component.getComponentId(), e, record_click, scriptModel, windowMonitor);
if (finder != null)
finder.markUsed(component);
recorder.record(click.enscript(component));
lastClickRecorded = click;
lastClickRecordedTime = e.getWhen();
}
}