ViewDocumentTodoCheckboxChangeEvent
typedef
Fired when the to-do list checkbox is toggled.
Introduced by TodoCheckboxChangeObserver.
Note that this event is not available by default. To make it available,
TodoCheckboxChangeObserver
needs to be added to EditingView by the addObserver method.