otherlibs/labltk/browser/setpath.mli


1
2
3
4
5
6
7
8
9
10

(* $Id$ *)

open Widget

val add_update_hook : (unit -> unit) -> unit
val exec_update_hooks : unit -> unit
    (* things to do when Config.load_path changes *)

val f : dir:string -> toplevel widget
    (* edit the load path *)