1(* :mode=isabelle-options: *) 2 3section "Graphview" 4 5option graphview_font_family : string = "Helvetica" 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