link
Widget
url-link
Widget
info-link
Widget
push-button
Widget
editable-field
Widget
text
Widget
menu-choice
Widget
radio-button-choice
Widget
item
Widget
choice-item
Widget
toggle
Widget
checkbox
Widget
checklist
Widget
editable-list
Widget
group
Widget
This document was generated on 27 October 1997 using the texi2html translator version 1.51.