1 fet_begingroup("dots");
4 4 dot_radius# = staff_space# - stafflinethickness#;
5 define_whole_blacker_pixels(dot_radius);
7 fet_beginchar("duration dot","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#);