object
  method from_display : string -> string
  method key_bindings : (Okey.keyhit_state * string) list
  method menus : (string * GToolbox.menu_entry list) list
  method name : string
  method set_from_display : (string -> string) -> unit
  method set_to_display : (string -> string) -> unit
  method to_display : string -> string
end