enable automatic display update

Synopsis:

(enable automatic display update)

Description:

Enables display updates after the execution of any representation's behavior and forces an update.

Example:

(enable automatic display updates)

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