}
return true;
case LOBBY_OVERVIEW:
// a complete overview has been sent
LobbyServerOverview serverOverview = (LobbyServerOverview) message.getAttachment();
// update chatHistory
try {
chatHistory.remove(0, chatHistory.getLength());
chatHistory.insertString(0, serverOverview.getChatHistory(), null);
} catch (BadLocationException ex) {
// should not happen
}
// update lobby list
lobbyListModel.set(serverOverview.getClients());
return true;
case LOBBY_UPDATE:
// something changed