864865866867868869870871872873874
chartBox.disconnectWidgetFromAll(chartViewer); } @Override public void indexChanged(PlayerEvent event) { IPlayer player = (IPlayer) event.getSource(); playerIndex = player.getIndex(); if (playerMode) { initPlayerAttributes(false); } }
552553554555556557558559560
} } @Override public void indexChanged(PlayerEvent event) { IPlayer player = (IPlayer) event.getSource(); playerIndex = player.getIndex(); updatePlayer(); }
534535536537538539540541542
529530531532533534535536537
857858859860861862863864865866867
562563564565566567568569570571572
554555556557558559560561562