sig
  val rc_dir : string
  val core_ini : Config_file.group
  val save_core : unit -> unit
  val load_core : unit -> unit
  val gui_ini : Config_file.group
  val save_gui : unit -> unit
  val load_gui : unit -> unit
  val handle_window : GWindow.window -> string -> unit
  val add_binding :
    < get : ((Gdk.Tags.modifier list * int) * 'a) list;
      set : ((Gdk.Tags.modifier list * int) * 'a) list -> 'b; .. > ->
    string -> '-> 'b
end