public void deleteAllSaveGames() {
File dir = new File(SAVEGAME_DIR);
String[] allFiles = dir.list();
for (String entryName : allFiles)
if (entryName.startsWith("savegame_")) new File(dir + "/" + entryName).delete();
mAdapter.refreshFiles();
mAdapter.notifyDataSetChanged();
discardButton.setEnabled(false);
}
public void deleteSaveGame(final String filename) {
new File(filename).delete();
mAdapter.refreshFiles();
mAdapter.notifyDataSetChanged();
}