-
Committer:
Rico Tzschichholz
-
Author(s):
felescoto95 at hotmail
-
Date:
2016-09-30 05:14:57 UTC
-
Revision ID:
ricotz@ubuntu.com-20160930051457-vqs5s8jstjlwszfa
utils: Guard actors retrieved from Compositor.get_window_actors()
Ignore an actor if is_destroyed() is true to avoid using them in an
unstable state.
This fixes crash on inserting workspace after closing one.