Module Gui_parameters

module Gui_parameters: sig .. end
GUI as a plug-in.

include Plugin.S
module Undo: Parameter_sig.Bool 
Option -undo.