Module Gui_parameters


module Gui_parameters: sig .. end
Kernel of the GUI.

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