From 0fdc16375c79b31150cfe459b3388ee3c7784553 Mon Sep 17 00:00:00 2001 From: Han-Wen Nienhuys Date: Wed, 31 Jan 2007 17:52:20 +0100 Subject: [PATCH] extra space for flat symbol slashes. --- mf/feta-toevallig.mf | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/mf/feta-toevallig.mf b/mf/feta-toevallig.mf index 217d854830..45263f2fcc 100644 --- a/mf/feta-toevallig.mf +++ b/mf/feta-toevallig.mf @@ -545,7 +545,7 @@ fet_endchar; draw_shifted_too; fet_beginchar ("Flat (slashed)", "flat.slash"); - set_char_box (1.2 stafflinethickness#, .8 staff_space#, + set_char_box (.4 staff_space#, .8 staff_space#, 0.6 staff_space#, 1.9 staff_space#); draw_meta_flat (0, w, 0.31 staff_space); @@ -566,7 +566,7 @@ fet_beginchar ("Flat (slashed)", "flat.slash"); fet_endchar; fet_beginchar ("Flat (slashed twice)", "flat.slashslash"); - set_char_box (1.2 stafflinethickness#, .8 staff_space#, + set_char_box (.4 staff_space#, .8 staff_space#, 0.6 staff_space#, 1.9 staff_space#); draw_meta_flat (0, w, 0.31 staff_space); @@ -620,7 +620,7 @@ fet_beginchar ("Semi flat", "mirroredflat"); fet_endchar; fet_beginchar ("Semi flat", "mirroredflat.backslash"); - set_char_box (1.2 stafflinethickness#, .8 staff_space#, + set_char_box (.4 staff_space#, .8 staff_space#, 0.6 staff_space#, 1.9 staff_space#); draw_meta_flat (0, w, 0.31 staff_space); -- 2.39.5