5.3.76
     *  One can determine the size of "speckles" (filled circles) with
       Speckle size... in the Pen menu. Speckles are used in drawing
       Formant, PitchTier, and several other kinds of objects.