[/] [trunk/] [src/] [settings_rw.sig] -
Diff 11 ⟶ 21
Diff between revs
11
and
21
| Rev 11 |
Rev 21 |
|---|
| Line 1... |
Line 1... |
(* $Id: settings_rw.sig 11 2007-11-02 05:30:42Z tbourke $ *)
|
(* $Id: settings_rw.sig 21 2007-12-04 12:38:09Z tbourke $ *)
|
|
|
signature SETTINGS_RW =
|
signature SETTINGS_RW =
|
sig
|
sig
|
include SETTINGS
|
include SETTINGS
|
|
|
val set_dtdPath : string option -> unit
|
val set_dtdPath : string option -> unit
|
val set_prefix : string option -> unit
|
val set_prefix : string option -> unit
|
|
|
(* layout *)
|
(* layout *)
|
val set_graphvizPath : string option -> unit
|
val set_graphvizPath : string option -> unit
|
val set_graphvizEngine : Graphviz.graph -> unit
|
val set_graphvizEngine : string -> unit
|
|
|
(* appearance *)
|
(* appearance *)
|
val set_maxLabelWidth : int -> unit
|
val set_maxLabelWidth : int -> unit
|
val set_maxDeclarationWidth : int -> unit
|
val set_maxDeclarationWidth : int -> unit
|
|
|
|
|