summaryrefslogtreecommitdiff
path: root/mf
diff options
context:
space:
mode:
authorCarl Sorensen <carl.d.sorensen@gmail.com>2016-03-05 21:30:46 -0700
committerCarl Sorensen <carl.d.sorensen@gmail.com>2016-03-16 06:03:58 -0600
commit87eb2f9fe1be3a532675fe4b7322bbba5a60ba5c (patch)
treef77e40142ad7e3af57edb0633c984895221fc1ab /mf
parent25ff85fa9c580f7763add0b07324b4e9489a7b16 (diff)
Use a negative value of overdone_noteheads to shrink the head slightly
Diffstat (limited to 'mf')
-rw-r--r--mf/feta-params.mf14
1 files changed, 13 insertions, 1 deletions
diff --git a/mf/feta-params.mf b/mf/feta-params.mf
index 7f7f4a5cc2..81325dc46e 100644
--- a/mf/feta-params.mf
+++ b/mf/feta-params.mf
@@ -238,7 +238,19 @@ slash_thick# := 2/3 * 0.48 staff_space#;
% the lines. If you like that, modify overdone heads (unit:
% stafflinethickness).
%
-overdone_heads = 0.0;
+
+%% FIXME
+% There is a problem with noteheads slightly extending beyond the staff
+% lines. This is due to the fact that staff_space + stafflinethickness
+% is sometimes an odd number, so the nothead height and depth are not
+% integers. Then, when the font is converted to an outline font, the
+% system rounds up the 0.5 left over from dividing the notehead height
+% in two, and the notehead extends slightly beyond the staff line.
+% In order to resolve this problem, we use overdone_heads to slightly
+% reduce the notehead height. Empirically, we have determined that
+% reducing by 10% of stafflinethickness solves the problem.
+
+overdone_heads = -0.1;
noteheight# := staff_space# + (1 + overdone_heads) * stafflinethickness#;
define_pixels (slash_thick);