Module Gui_parameters.Undo


module Undo: Plugin.Bool 
Option -undo.

include Plugin.Parameter
val on : unit -> unit
Set the boolean to true.
val off : unit -> unit
Set the boolean to false.