workspacethumb: Add proper null check for meta_get_window_actors

This commit is contained in:
Tom Beckmann 2013-05-11 15:35:45 +02:00
commit 41dc0838e4
2 changed files with 9 additions and 3 deletions

View File

@ -179,7 +179,11 @@ namespace Gala
window_clones.clear ();
//need to go through all the windows because of hidden dialogs
foreach (var window in Meta.Compositor.get_window_actors (screen)) {
unowned List<Meta.WindowActor>? window_actors = Meta.Compositor.get_window_actors (screen);
warn_if_fail (window_actors != null);
if (window_actors == null)
return;
foreach (var window in window_actors) {
if (window.get_workspace () == workspace.index ())
window.show ();
}

View File

@ -345,8 +345,10 @@ namespace Gala
void update_windows ()
{
windows.remove_all_children ();
unowned List<WindowActor>? window_actors = Compositor.get_window_actors (screen);
warn_if_fail (window_actors != null);
if (workspace == null)
if (workspace == null || window_actors == null)
return;
int swidth, sheight;
@ -354,7 +356,7 @@ namespace Gala
// add window thumbnails
var aspect = windows.width / swidth;
foreach (var window in Compositor.get_window_actors (screen)) {
foreach (var window in window_actors) {
if (window == null)
continue;
var meta_window = window.get_meta_window ();