labels(4);
fet_endchar;
-% Hmm, changed 1.5 to 1.4 to avoid problems with "random" placement of
-% the dots because of quantization effects for almost integer values. /MB
-
-
-%
-% Hmm. Should not meddle with darkness of font. Check out the
-% correct value for radius. Maybe we'd better change padding --hwn
-%
fet_beginchar("staccato dot", "staccato", "staccato")
save radius;
- radius# = (3/8) / 1.75 staff_space#;
+ radius# = 0.20 * staff_space#;
define_whole_pixels(radius);
pickup pencircle scaled 2 radius;
drawdot (0,0);
draw_staccatissimo;
fet_endchar;
-%
-% FIXEM: scale labels too.
-%
fet_beginchar("staccatissimo/martellato down", "dstaccatissimo", "dstaccatissimo")
draw_staccatissimo;
y_mirror_char;
draw_rounded_block((-b,-thick/2),(w,thick/2),thick);
fet_endchar;
-
-%
-% Portato by Heikki Junes <heikki.junes@hut.fi>
-%
-
def draw_portato =
save thick, radius;
thick# = 1.4 stafflinethickness#;
% The down marcato char (not very much used).
% Contrary to what some MF/TeX `gurus' believe
% it is *point*-symmetric with the "up" version
+%
fet_beginchar("marcato down", "dmarcato", "dmarcato")
draw_marcato;
xy_mirror_char;