[/] [trunk/] [src/] [settings_rw.sig] - Blame information for rev 19

Line No. Rev Author Line
1 4 tbourke 
(* $Id: settings_rw.sig 11 2007-11-02 05:30:42Z tbourke $ *)
2 
 
3 
signature SETTINGS_RW =
4 
sig
5 
  include SETTINGS
6 
 
7 
  val set_dtdPath             : string option -> unit
8 
  val set_prefix              : string option -> unit
9 
 
10 
  (* layout *)
11 
  val set_graphvizPath        : string option -> unit
12 
  val set_graphvizEngine      : Graphviz.graph -> unit
13 
 
14 
  (* appearance *)
15 
  val set_maxLabelWidth       : int -> unit
16 
  val set_maxDeclarationWidth : int -> unit
17 
 
18 
  val set_newColor            : string option -> unit
19 
  val set_errorColor          : string option -> unit
20 
  val set_urgChanLocColor     : string option -> unit
21 
 
22 
  val set_splitShiftOld       : {xoff:int, yoff:int} option -> unit
23 
  val set_splitShiftNew       : {xoff:int, yoff:int} option -> unit
24 
  val set_tabulateShift       : {xoff:int, yoff:int} option -> unit
25 
 
26 
  val set_tabulateLabels      : bool -> unit
27 
 
28 
  (* debug *)
29 
  val set_priority            : int -> unit
30 
 
31 
  val loadConfigFile       : (string, 'strm) StringCvt.reader -> 'strm -> unit
32 
end
33