PlayMenu: dispose of GameRecord after deletion

1 files changed, 3 insertions, 3 deletions

diff --git a/core/src/ch/asynk/rustanddust/menu/PlayMenu.java b/core/src/ch/asynk/rustanddust/menu/PlayMenu.java
index 8babc57..1fc206f 100644
--- a/core/src/ch/asynk/rustanddust/menu/PlayMenu.java
+++ b/core/src/ch/asynk/rustanddust/menu/PlayMenu.java
@@ -59,11 +59,11 @@ public class PlayMenu extends Patch implements MenuCtrl.Panel
     public MenuCtrl.MenuType postAnswer(boolean ok)
     {
         if (!notImplemented && ok) {
-            game.db.deleteGame(GameRecord.remove(getList().getIdx()).id);
+            GameRecord r = GameRecord.remove(getList().getIdx());
+            game.db.deleteGame(r.id);
+            r.dispose();
             getList().unselect();
             showBtns(false);
-            if (GameRecord.list.size() <= 0)
-                return MenuCtrl.MenuType.NEW_GAME;
         }
         return MenuCtrl.MenuType.NONE;
     }