Mercurial Mercurial > repos > isabelle / diff
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/src/visualizer.scala
changeset 58939 994fe0ba8335
parent 56372 fadb0fef09d7
child 58940 7fbeedd05b4c 
--- a/src/Tools/Graphview/src/visualizer.scala	Fri Nov 07 23:35:13 2014 +0100
+++ b/src/Tools/Graphview/src/visualizer.scala	Sat Nov 08 09:16:47 2014 +0100
@@ -22,7 +22,7 @@
   /* font rendering information */
 
   val font_family: String = "IsabelleText"
-  val font_size: Int = 14
+  val font_size: Int = 32
   val font = new Font(font_family, Font.BOLD, font_size)
 
   val rendering_hints =
@@ -41,7 +41,7 @@
 
   /* rendering parameters */
 
-  val gap_x = 20
+  val gap_x = 5
   val pad_x = 8
   val pad_y = 5
isabelle