mf/puntje.mf

   1 fet_begingroup("dots");
   2
   3 fet_beginchar("duration dot","dot", "dot")
   4         save dot_diam;
   5         2 dot_diam# = interline# - stafflinethickness#;
   6         define_pixels(dot_diam)
   7         pickup pencircle scaled dot_diam;
   8         draw (dot_diam/2,0);
   9         set_char_box(0, dot_diam#, dot_diam#/2, dot_diam#/2);
  10 fet_endchar;
  11
  12
  13 fet_endgroup("dots");