public void setGameLabellingSize(int sizeShift) {
Font font = currentHometeamL.getFont();
Font newFont = new Font(font.getName(), font.getStyle(), font.getSize() + sizeShift);
currentHometeamL.setFont(newFont);
currentAwayteamL.setFont(newFont);
Font tableHeaderFont = showTableP.getTable().getTableHeader().getFont();
Font newTableHeaderFont =
new Font(
tableHeaderFont.getName(),
tableHeaderFont.getStyle(),
tableHeaderFont.getSize() + sizeShift);
showTableP.getTable().getTableHeader().setFont(newTableHeaderFont);
}
public void repaintObserver(Game game) {
if (game != null) {
StringTokenizer resultTokenizer =
new StringTokenizer(game.getResult() != null ? game.getResult() : "-:-", ":");
currentGameL.setText("Spiel-Nr. " + game.getGamePosition());
currentHometeamL.setText(resultTokenizer.nextToken() + " " + game.getHometeam().getName());
currentAwayteamL.setText(resultTokenizer.nextToken() + " " + game.getAwayteam().getName());
showTableP.setGroupName(game.getGroupName());
}
repaint();
}
public void setObserverColor(Color color) {
this.getContentPane().setBackground(color);
countingWatchP.setBackground(color);
showTableP.setTablePanelColor(color);
}
