Editor : stub `onChangeSession` and dartdoc for the `session` member