     
        </dt>
        <dd>
          An identifier used to select a user's language and formatting preferences. <a href="dart-ui/Locale-class.html">[...]</a>
        </dd>
        <dt id="MaskFilter">
          <span class="name "><a href="dart-ui/MaskFilter-class.html">MaskFilter</a></span>         
        </dt>
        <dd>
          A mask filter to apply to shapes as they are painted. A mask filter is a
function that takes a bitmap of color pixels, and returns another bitmap of
color pixels. <a h