search

zakkak / workspace-grid

https://extensions.gnome.org/extension/484/workspace-grid/
GNU General Public License v3.0
288 stars 40 forks source link

Remove child actors before destroying parent #96

Closed thijzert closed 6 years ago

thijzert commented 6 years ago

I tried the patch from @gofish 1, and it seems to help a lot. I think this fixes #86, #87 and #89.

zakkak commented 6 years ago

@thijzert thanks for the merging and testing. I have rebased 3.30 on 3.28 which already had that commit merged along with some other enhancements (mostly regarding maintenance).