[iagno] Better shutdown.

[Arnaud Bonatti <arnaudb src gnome org>]

commit 167bb075d891e9f8af749955398720e676db2aea
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Tue Mar 3 09:22:55 2015 +0100

    Better shutdown.

 configure.ac         |    2 +-
 src/game-window.vala |    3 ++-
 src/iagno.vala       |    4 ++--
 3 files changed, 5 insertions(+), 4 deletions(-)
---
diff --git a/configure.ac b/configure.ac
index f5198e3..28c8bee 100644
--- a/configure.ac
+++ b/configure.ac
@@ -41,7 +41,7 @@ dnl ###########################################################################
 dnl GResources
 dnl ###########################################################################
 
-AC_PATH_PROG(GLIB_COMPILE_RESOURCES, glib-compile-resources)
+AC_PATH_PROG([GLIB_COMPILE_RESOURCES],[glib-compile-resources])
 
 dnl ###########################################################################
 dnl Internationalization
diff --git a/src/game-window.vala b/src/game-window.vala
index ad37ec5..078fb12 100644
--- a/src/game-window.vala
+++ b/src/game-window.vala
@@ -185,11 +185,12 @@ public class GameWindow : ApplicationWindow
         return false;
     }
 
-    public void save_state (GLib.Settings settings)
+    public void shutdown (GLib.Settings settings)
     {
         settings.set_int ("window-width", window_width);
         settings.set_int ("window-height", window_height);
         settings.set_boolean ("window-is-maximized", maximized_state);
+        destroy ();
     }
 
     /*\
diff --git a/src/iagno.vala b/src/iagno.vala
index 44d2c4a..dc048f9 100644
--- a/src/iagno.vala
+++ b/src/iagno.vala
@@ -90,7 +90,7 @@ public class Iagno : Gtk.Application
         return new Iagno ().run (args);
     }
 
-    public Iagno ()
+    private Iagno ()
     {
         Object (application_id: "org.gnome.iagno", flags: ApplicationFlags.FLAGS_NONE);
 
@@ -247,8 +247,8 @@ public class Iagno : Gtk.Application
 
     protected override void shutdown ()
     {
+        window.shutdown (settings);
         base.shutdown ();
-        window.save_state (settings);
     }
 
     /*\