Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Graphview/etc/options
author nipkow
Sat, 14 Jun 2025 13:47:55 +0200
changeset 82705 4db3f6e6fb6c
parent 69369 6ecc85955e04
permissions -rw-r--r--
removed pointless leftovers

(* :mode=isabelle-options: *)

section "Graphview"

option graphview_font_family : string = "Isabelle DejaVu Sans"
  -- "base font family (notably for PDF)"

option graphview_font_size : int = 12
  -- "base font size (notably for PDF)"

public option graphview_font_scale : real = 0.85
  -- "scale factor of graph view wrt. main text font"

public option graphview_iterations_minimize_crossings : int = 20
  -- "number of iterations to minimize edge crossings"

public option graphview_iterations_pendulum : int = 5
  -- "number of iterations for pendulum method"

public option graphview_iterations_rubberband : int = 5
  -- "number of iterations for rubberband method"

public option graphview_content_margin : int = 60
  -- "margin for node content pretty-printing"
isabelle