Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: options Sprache: Isabelle

Original von: Isabelle^©

(* :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"

¤ Dauer der Verarbeitung: 0.15 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.