* Player list - Sorting of player names is now case unsensitive.

This commit is contained in:
LevelX2 2013-10-08 23:21:17 +02:00
parent db1521d30c
commit 21f101c5fa

View file

@ -427,7 +427,7 @@ class TableModel extends AbstractTableModel {
boolean update;
int size = players.size();
List<String> list = new ArrayList<String>(players);
Collections.sort(list);
Collections.sort(list, String.CASE_INSENSITIVE_ORDER);
if (size != this.players.size()) {
update = true;
} else {