v0.2.3: rankings page can now contain up to 10 records (+1 for most recent), looks a bit clumped up atm.

src/com/shatteredpixel/shatteredpixeldungeon/Rankings.java

@@ -35,7 +35,7 @@ public enum Rankings {
 	
 	INSTANCE;
 	
-	public static final int TABLE_SIZE	= 6;
+	public static final int TABLE_SIZE	= 11;
 	
 	public static final String RANKINGS_FILE = "rankings.dat";
 	public static final String DETAILS_FILE = "game_%d.dat";
@@ -70,7 +70,7 @@ public enum Rankings {
 		
 		lastRecord = records.indexOf( rec );
 		int size = records.size();
-		if (size > TABLE_SIZE) {
+		while (size > TABLE_SIZE) {
 			
 			Record removedGame;
 			if (lastRecord == size - 1) {
@@ -83,6 +83,8 @@ public enum Rankings {
 			if (removedGame.gameFile.length() > 0) {
 				Game.instance.deleteFile( removedGame.gameFile );
 			}
+
+			size = records.size();
 		}
 		
 		totalNumber++;