<map id="Public Properties" name="Public Properties">
<area shape="rect" id="node1" title="Public properties of the push button device driver library." alt="" coords="265,5,457,31"/>
<area shape="rect" id="node2" href="$a00636.html" title=" " alt="" coords="5,5,217,31"/>
</map>
