From 71aa838a851dacd5e82cf26029c0c22caa9d2206 Mon Sep 17 00:00:00 2001 From: yuanwang Date: Sat, 13 Apr 2024 21:22:09 -0600 Subject: [PATCH] wip --- circle.svg | 2 +- maLiang/app/DiagramsTutorial.lhs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/circle.svg b/circle.svg index 59f4d50..51c61df 100644 --- a/circle.svg +++ b/circle.svg @@ -1,3 +1,3 @@ JLVHK \ No newline at end of file + "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">JLVHK \ No newline at end of file diff --git a/maLiang/app/DiagramsTutorial.lhs b/maLiang/app/DiagramsTutorial.lhs index 978d4b6..7cc88fd 100644 --- a/maLiang/app/DiagramsTutorial.lhs +++ b/maLiang/app/DiagramsTutorial.lhs @@ -6,7 +6,7 @@ > import Diagrams.Backend.SVG.CmdLine > minorKey = square 0.2 # scaleY 0.3 > centerKey :: Diagram B -> centerKey = ( beside (r2 (1,-1)) (text "V" # fontSizeL 0.1 <> strutX 0.1) (text "⇧" # fontSizeL 0.03 <> strutX 0.1 )) `atop` square 0.2 +> centerKey = ( beside (r2 (20,-16)) (text "V" # fontSizeL 0.1 <> strutX 0.1) (text "⇧" # fontSizeL 0.03 <> strutX 0.01 )) `atop` square 0.2 > west :: Diagram B > west = text "H" # fontSizeL 0.03 <> vMinorKey > east :: Diagram B