„output_module/whoosh.py“ ändern

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

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

 /y-whoosh { 700 } def