Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Parameter 'model' is unread.

Unboxing a possibly null value.

Parameter 'SettingModel setting' is captured into the state of the enclosing type and its value is also passed to the base constructor. The value might be captured by the base class as well.

Field 'TopView.hndl' is never assigned to, and will always have its default value null