disable automatic display update
Synopsis:
(disable automatic display update)
Description:
Disables display updates that are automatically fired after the execution of any representation's behavior.
Example:
(disable automatic display update)
Contact:
Fulvio Frapolli (
fulvio . frapolli //at// unifr . ch),
Amos Brocco (
amos . brocco //at// unifr . ch)
* Remove spaces and replace //at// with @