This option enables/disables redrawing when the display is refreshed. Currently, this option has no effect in program DisPlot.