Class Configwin_types.key_cp


class key_cp : ?group:Config_file.group -> string list -> ?short_name:string -> Gdk.Tags.modifier list * int -> string -> class application not handled yet
A class to define key options, with the Config_file module.