1 fet_begingroup ("dots");
4 4 dot_radius# = staff_space# - stafflinethickness#;
5 define_whole_blacker_pixels (dot_radius);
7 fet_beginchar ("duration dot", "dot")
8 pickup pencircle scaled 2 dot_radius;
9 drawdot (dot_radius, 0);
10 set_char_box (0, 2*dot_radius#, dot_radius#, dot_radius#);