mf/feta-puntje.mf

   1 fet_begingroup("dots");
   2
   3 save dot_diam;
   4 2 dot_diam# = interline# - stafflinethickness#;
   5 define_pixels(dot_diam);
   6
   7 fet_beginchar("duration dot","dot", "dot")
   8         pickup pencircle scaled dot_diam;
   9         draw (dot_diam/2,0);
  10         set_char_box(0, dot_diam#, dot_diam#/2, dot_diam#/2);
  11 fet_endchar;
  12
  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);
  18 fet_endchar;
  19
  20
  21 fet_endgroup("dots");