Previous
Up
Next
Module
Gui_parameters
module
Gui_parameters:
sig
..
end
Kernel of the GUI.
include
Plugin.S
module
Undo
:
Plugin.Bool
Option -undo.