app :: ToggleEvent :: defaultinit
# The `CheckBox` `sender` has been toggled class ToggleEvent super ViewEvent redef type VIEW: CheckBox end