From 6af0e71693ddc1e1f3c4052c5e66f16d64dfa90e Mon Sep 17 00:00:00 2001 From: RedSparr0w Date: Mon, 23 Sep 2019 16:52:39 +1200 Subject: [PATCH] [gui] Only show player.save files --- .../src/org/crandor/gui/tab/PlayerTab.java | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/09HDscape-server/src/org/crandor/gui/tab/PlayerTab.java b/09HDscape-server/src/org/crandor/gui/tab/PlayerTab.java index 3dc14d22b..5e44f3659 100644 --- a/09HDscape-server/src/org/crandor/gui/tab/PlayerTab.java +++ b/09HDscape-server/src/org/crandor/gui/tab/PlayerTab.java @@ -83,10 +83,11 @@ public class PlayerTab extends ConsoleTab { public void actionPerformed(ActionEvent e) { model.clear(); if (textField.getText() == null || textField.getText().length() < 1) { + populatePlayerSearch(); return; } for (String name : playerNames) { - if (name.toLowerCase().startsWith(textField.getText())) { + if (name.toLowerCase().contains(textField.getText())) { model.addElement(name); } } @@ -151,8 +152,11 @@ public class PlayerTab extends ConsoleTab { } System.out.println(getPlayerNames().toString()); for (File file : Objects.requireNonNull(f.listFiles())) { - playerNames.add(file.getName().replace(".save", "").trim()); - model.addElement(file.getName().replace(".save", "").trim()); + String fileName = file.getName(); + if (!fileName.contains(".save")) continue; + String playerName = fileName.replace(".save", "").trim(); + playerNames.add(playerName); + model.addElement(playerName); } }