[set-example] set labels to constant height to work around inconsiste…

…nt font size issue (#340) (HACK: only works for examples where we know labels have the same height). also fix issue with centerArrow where the spacing was doubled on one end, not sure why

examples/set-theory-domain/tree.sty

@@ -1,5 +1,10 @@
 Set x {
-    x.shape = Text { string : x.label }
+    x.shape = Text { 
+        -- h : 20.0
+        fontSize: "12pt"
+        -- HACK: To get consistent-looking labels since we they have the same height in this example
+       string : x.label 
+    }
 }
 
 Set x; Set y {

examples/set-theory-domain/venn-simple.sty

@@ -17,7 +17,8 @@ forall Set x {
 
     x.text = Text {
         string : x.label
-        fontSize : "15pt"
+        h : 50.0
+        -- fontSize : "15pt"
     }
 
     -- These statements are named because may delete a shape

examples/set-theory-domain/venn.sty

@@ -40,7 +40,9 @@ forall Set x {
 
     x.text = Text {
         string : x.label
-        fontSize : "15pt"
+        h : 50.0
+        -- HACK: To get consistent-looking labels since we they have the same height in this example
+        -- fontSize : "15pt"
     }
 
     -- These statements are named because may delete a shape

src/Penrose/Functions.hs

@@ -1816,7 +1816,7 @@ centerArrow [GPI arr@("Arrow", _), GPI text1@("Text", _), GPI text2@("Text", _)]
     arr
     [getX text1, getY text1]
     [getX text2, getY text2]
-    [spacing * getNum text1 "h", negate $ 2 * spacing * getNum text2 "h"]
+    [spacing * getNum text1 "h", negate $ spacing * getNum text2 "h"]
 centerArrow [GPI arr@("Arrow", _), GPI text@("Text", _), GPI circ@("Circle", _)] =
   _centerArrow
     arr