1 fet_begingroup("dots");
4 2 dot_diam# = interline# - stafflinethickness#;
5 define_pixels(dot_diam);
7 fet_beginchar("duration dot","dot", "dot")
8 pickup pencircle scaled dot_diam;
10 set_char_box(0, dot_diam#, dot_diam#/2, dot_diam#/2);
13 fet_beginchar("repeat dots", "repeatcolon", "repeatcolon")
14 pickup pencircle scaled dot_diam;
15 draw (dot_diam/2, interline/2);
16 addto currentpicture also currentpicture yscaled -1;
17 set_char_box(0, dot_diam#, interline#/2, interline#/2);