Copy window list before destroying each window

https://bugzilla.gnome.org/show_bug.cgi?id=701781
This commit is contained in:
Jesse van den Kieboom 2014-07-10 20:21:14 +02:00
parent aaedde148e
commit d26fbb2859

View file

@ -222,7 +222,9 @@ public class Application : Gtk.Application
private void on_app_quit_activated()
{
foreach (var window in get_windows())
var wnds = get_windows().copy();
foreach (var window in wnds)
{
window.destroy();
}