summaryrefslogtreecommitdiff
path: root/otherlibs/labltk/browser/editor.mli
blob: d186e487499fb9e84cdc37bb218184e1a71deafc (plain)
1
2
3
4
5
6
(* $Id$ *)

open Widget

val f : ?file:string -> ?pos:int -> ?opendialog:bool -> unit -> unit
	(* open the file editor *)