1(* :mode=isabelle-options: *)
2
3section "Graphview"
4
5option graphview_font_family : string = "Isabelle DejaVu Sans"
6  -- "base font family (notably for PDF)"
7
8option graphview_font_size : int = 12
9  -- "base font size (notably for PDF)"
10
11public option graphview_font_scale : real = 0.85
12  -- "scale factor of graph view wrt. main text font"
13
14public option graphview_iterations_minimize_crossings : int = 20
15  -- "number of iterations to minimize edge crossings"
16
17public option graphview_iterations_pendulum : int = 5
18  -- "number of iterations for pendulum method"
19
20public option graphview_iterations_rubberband : int = 5
21  -- "number of iterations for rubberband method"
22
23public option graphview_content_margin : int = 60
24  -- "margin for node content pretty-printing"
25
26