Hopefully cleaner fix for CheckBox initialization vis-a-vis "checked" and "value" parameters.
Hopefully cleaner fix for CheckBox initialization vis-a-vis "checked" and "value" parameters.

Fixes #7413, refs #7244 !strict.

git-svn-id: 674a2d6b1e32e53f607eb824547723f32280967e@14823 560b804f-0ae3-0310-86f3-f6aa0a117693

harbalk/delite,harbalk/delite,Sam-Cummins/delite,kitsonk/delite,kitsonk/delite,Sam-Cummins/delite