elementary/gala
1
1
Fork 0
mirror of https://github.com/elementary/gala.git synced 2024-12-29 20:21:39 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add some null checks to WorkspaceThumb.update_windows to possibly solve a crash

Browse Source
This commit is contained in:
Tom Beckmann 2012-09-01 19:26:11 +02:00
parent 5485024fda
commit 8d0058da80
1 changed files with 11 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/Widgets/WorkspaceThumb.vala
View File

@ -239,11 +239,15 @@ namespace Gala
// add window thumbnails
var aspect = windows.width / swidth;
Compositor.get_window_actors (screen).foreach ((w) => {
var meta_window = w.get_meta_window ();
foreach (var window in Compositor.get_window_actors (screen)) {
if (window == null)
continue;
var meta_window = window.get_meta_window ();
if (meta_window == null)
continue;
var type = meta_window.window_type;
if ((!(w.get_workspace () == workspace.index ()) &&
if ((!(window.get_workspace () == workspace.index ()) &&
!meta_window.is_on_all_workspaces ()) ||
meta_window.minimized ||
(type != WindowType.NORMAL &&
@ -251,14 +255,14 @@ namespace Gala
type != WindowType.MODAL_DIALOG))
return;
var clone = new Clone (w.get_texture ());
var clone = new Clone (window.get_texture ());
clone.width = aspect * clone.width;
clone.height = aspect * clone.height;
clone.x = aspect * w.x;
clone.y = aspect * w.y;
clone.x = aspect * window.x;
clone.y = aspect * window.y;
windows.add_child (clone);
});
}
}
void update_icons ()