We investigated this issue as part of the 0.9.11 release. We now understand the problem with closing with undocked widgets, and we updated issue #129 with details. Our plan is to address this issue later this year.
We investigated this issue as part of the 0.9.11 release. We now understand the problem with closing with undocked widgets, and we updated issue #129 with details. Our plan is to address this issue later this year.