„output_module/whoosh.py“ ändern

11 months ago · 6b96f1dd96
parent 3752112535
commit 6b96f1dd96
1 changed files with 2 additions and 2 deletions
--- a/output_module/whoosh.py
+++ b/output_module/whoosh.py
@ -126,10 +126,10 @@ newpath
 14 selectfont
 % fontsize in points, establishes the font as the current one

-/x-whoosh { 5 } def
+/x-whoosh { 10 } def
 % define x position

-/y-whoosh { 600 } def
+/y-whoosh { 700 } def
 % define y position

 /lg-whoosh { 17 } def