Module Gui_parameters

module Gui_parameters: sig .. end

GUI as a plug-in.


include Plugin.S
module Project_name: Parameter_sig.String 

Option -gui-project.

module Undo: Parameter_sig.Bool 

Option -undo.