[banshee/gtk3] Muinshee: Implement the dispose pattern in PlayerInterface

[Bertrand Lorentz <blorentz src gnome org>]

commit 29fa89617210dfda3763da3641fc087c8a3260fb
Author: Bertrand Lorentz <bertrand lorentz gmail com>
Date:   Sun Jul 17 14:02:33 2011 +0200

    Muinshee: Implement the dispose pattern in PlayerInterface

 src/Clients/Muinshee/Muinshee/PlayerInterface.cs |   18 ++++++++++--------
 1 files changed, 10 insertions(+), 8 deletions(-)
---
diff --git a/src/Clients/Muinshee/Muinshee/PlayerInterface.cs b/src/Clients/Muinshee/Muinshee/PlayerInterface.cs
index ba6bc08..b937573 100644
--- a/src/Clients/Muinshee/Muinshee/PlayerInterface.cs
+++ b/src/Clients/Muinshee/Muinshee/PlayerInterface.cs
@@ -123,17 +123,19 @@ namespace Muinshee
 
 #region System Overrides
 
-        public override void Dispose ()
+        protected override void Dispose (bool disposing)
         {
             lock (this) {
-                Hide ();
-                if (played_songs_number >= 0) {
-                    played_songs_number_pref.Value = played_songs_number;
+                if (disposing) {
+                    Hide ();
+                    if (played_songs_number >= 0) {
+                        played_songs_number_pref.Value = played_songs_number;
+                    }
+                    if (actions != null) {
+                        actions.Dispose ();
+                    }
                 }
-                if (actions != null) {
-                    actions.Dispose ();
-                }
-                base.Dispose ();
+                base.Dispose (disposing);
                 Gtk.Application.Quit ();
             }
         }