1 fet_begingroup ("dots");
5 2 dot_diam# = staff_space# - stafflinethickness#;
6 define_whole_blacker_pixels (dot_diam);
8 fet_beginchar ("duration dot", "dot");
9 pickup pencircle scaled dot_diam;
12 top y0 = vround (.5 dot_diam);
16 set_char_box (0, dot_diam#, .5 dot_diam#, .5 dot_diam#);
19 fet_endgroup ("dots");