undo

Synopsis:

(undo)

Description:

Perform an undo to the last available undo point.

Example:

When the undo button is clicked:

(undo)

Contact: Fulvio Frapolli (fulvio . frapolli //at// unifr . ch), Amos Brocco (amos . brocco //at// unifr . ch)
* Remove spaces and replace //at// with @