Add missing call to super.dispose()

[nicksnyder]

No description provided.

[mention-bot]

@nicksnyder, thanks for your PR! By analyzing the history of the files in this pull request, we identified @jrieken and @egamma to be potential reviewers.

[jrieken]

1c7479e

@sandy081 Why? The ZoneWidget doesn't use anything of widget. So, instead of adding the missing dispose-call I'd opt to not inherit from it

[nicksnyder]

It doesn't look like anything in the codebase depends on ZoneWidget extending Widget so you can just close this PR and revert 1c7479e if that is your preference.

[jrieken]

Let's wait for @sandy081, tho generally "no source is the best source"

[sandy081]

Yes, there was no need to extend the Widget class. I had plans to use the ZoneWidget for the Settings editor and needed some changes but was not needed. Looks like above change was slipped in then. Will revert it. Thanks for brining to me.

[nicksnyder]

@sandy081 great, can you git revert 1c7479e970499383d292e1264cfaeda794a24864 and then close this PR without merging

[sandy081]

There are some merges involved. So removed it in a new change