You create the form elements in your .tcl file. The value of the element should be set there.
All the formwidget tag does is allow you to format the output, that is, put the checkboxes where you want them.
