From 08a00e42457754e05db59c35564e627c00cf633a Mon Sep 17 00:00:00 2001 From: ohjian Date: Fri, 16 Jun 2023 15:25:32 +0200 Subject: [PATCH] =?UTF-8?q?=E2=80=9Eoutput=5Fmodule/whoosh.py=E2=80=9C=20?= =?UTF-8?q?=C3=A4ndern?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- output_module/whoosh.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/output_module/whoosh.py b/output_module/whoosh.py index 6091b59..9275731 100644 --- 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