summaryrefslogtreecommitdiffstats
path: root/src/jrummikub/view
diff options
context:
space:
mode:
authorMatthias Schiffer <mschiffer@universe-factory.net>2011-05-28 20:13:35 +0200
committerMatthias Schiffer <mschiffer@universe-factory.net>2011-05-28 20:13:35 +0200
commit5aa79ea898e16cee1265ba9457c1af11616584cc (patch)
tree1f65d8e1042e4e7599c908a07f4d74fec831d866 /src/jrummikub/view
parent5029ff206a00695bb955e49d659c20b8313192d4 (diff)
downloadJRummikub-5aa79ea898e16cee1265ba9457c1af11616584cc.tar
JRummikub-5aa79ea898e16cee1265ba9457c1af11616584cc.zip
Implement settings control
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@291 72836036-5685-4462-b002-a69064685172
Diffstat (limited to 'src/jrummikub/view')
-rw-r--r--src/jrummikub/view/ISettingsPanel.java92
-rw-r--r--src/jrummikub/view/impl/SettingsPanel.java32
2 files changed, 97 insertions, 27 deletions
diff --git a/src/jrummikub/view/ISettingsPanel.java b/src/jrummikub/view/ISettingsPanel.java
index 17830e5..e2d5eff 100644
--- a/src/jrummikub/view/ISettingsPanel.java
+++ b/src/jrummikub/view/ISettingsPanel.java
@@ -11,14 +11,65 @@ import jrummikub.util.IEvent2;
* The panel for the game setup
*/
public interface ISettingsPanel {
+ /**
+ * The list of player colors
+ */
+ public final static Color[] PLAYER_COLORS = { new Color(1.0f, 0, 0), // red
+ new Color(0, 1.0f, 0), // lime
+ new Color(1.0f, 1.0f, 0), // yellow
+ new Color(0, 0, 1.0f), // blue
+ new Color(1.0f, 0, 1.0f), // fuchsia
+ new Color(0, 1.0f, 1.0f), // aqua
+ new Color(0.5f, 0, 0), // maroon
+ new Color(0, 0.5f, 0), // green
+ new Color(0.5f, 0.5f, 0), // olive
+ new Color(0, 0, 0.5f), // navy
+ new Color(0.5f, 0, 0.5f), // purple
+ new Color(0, 0.5f, 0.5f), // teal
+ new Color(0, 0, 0), // black
+ new Color(0.5f, 0.5f, 0.5f), // gray
+ new Color(0.75f, 0.75f, 0.75f), // silver
+ new Color(1.0f, 1.0f, 1.0f), // white
+ };
+
+ /**
+ * The add player event is emitted when the user wants to add a player to the
+ * player list
+ *
+ * @return the event
+ */
public IEvent getAddPlayerEvent();
+ /**
+ * The remove player event is emitted when the user wants to remove a player
+ * remove the player list
+ *
+ * @return the event
+ */
public IEvent1<Integer> getRemovePlayerEvent();
+ /**
+ * The change player color event is emitted when the user wants change a
+ * player's color
+ *
+ * @return the event
+ */
public IEvent2<Integer, Color> getChangePlayerColorEvent();
+ /**
+ * The change player color event is emitted when the user wants change a
+ * player's name
+ *
+ * @return the event
+ */
public IEvent2<Integer, String> getChangePlayerNameEvent();
+ /**
+ * The change initial meld threshold event is emitted when the user wants
+ * change the initial meld threshold
+ *
+ * @return the event
+ */
public IEvent1<Integer> getChangeInitialMeldThresholdEvent();
/**
@@ -28,17 +79,56 @@ public interface ISettingsPanel {
*/
public IEvent getStartGameEvent();
+ /**
+ * Sets an error to display
+ *
+ * @param error
+ * the kind of error
+ */
public void setError(SettingsError error);
+ /**
+ * Enables or disables the start game button
+ *
+ * @param enable
+ * specifies if the button is to be enabled or disabled
+ */
public void enableStartGameButton(boolean enable);
+ /**
+ * Enables or disables the add player button
+ *
+ * @param enable
+ * specifies if the button is to be enabled or disabled
+ */
public void enableAddPlayerButton(boolean enable);
+ /**
+ * Enables or disables the remove player buttons
+ *
+ * @param enable
+ * specifies if the buttons are to be enabled or disabled
+ */
+
public void enableRemovePlayerButtons(boolean enable);
+ /**
+ * Sets the game settings to display
+ *
+ * @param gameSettings
+ * the settings
+ */
public void setGameSettings(GameSettings gameSettings);
+ /**
+ * Specifies the different kinds of settings errors that can be displayed
+ */
public enum SettingsError {
- NO_ERROR, DUPLICATE_PLAYER_NAME, NO_PLAYER_NAME
+ /** Everything is ok */
+ NO_ERROR,
+ /** A player name is used twice */
+ DUPLICATE_PLAYER_NAME,
+ /** A player has an empty name */
+ NO_PLAYER_NAME
}
} \ No newline at end of file
diff --git a/src/jrummikub/view/impl/SettingsPanel.java b/src/jrummikub/view/impl/SettingsPanel.java
index 7200a16..ea1c181 100644
--- a/src/jrummikub/view/impl/SettingsPanel.java
+++ b/src/jrummikub/view/impl/SettingsPanel.java
@@ -40,24 +40,6 @@ import jrummikub.view.ISettingsPanel;
@SuppressWarnings("serial")
class SettingsPanel extends JPanel implements ISettingsPanel {
- private final static Color[] PLAYER_COLORS = { new Color(1.0f, 0, 0), // red
- new Color(0, 1.0f, 0), // lime
- new Color(1.0f, 1.0f, 0), // yellow
- new Color(0, 0, 1.0f), // blue
- new Color(1.0f, 0, 1.0f), // fuchsia
- new Color(0, 1.0f, 1.0f), // aqua
- new Color(0.5f, 0, 0), // maroon
- new Color(0, 0.5f, 0), // green
- new Color(0.5f, 0.5f, 0), // olive
- new Color(0, 0, 0.5f), // navy
- new Color(0.5f, 0, 0.5f), // purple
- new Color(0, 0.5f, 0.5f), // teal
- new Color(0, 0, 0), // black
- new Color(0.5f, 0.5f, 0.5f), // gray
- new Color(0.75f, 0.75f, 0.75f), // silver
- new Color(1.0f, 1.0f, 1.0f), // white
- };
-
private JPanel playerSetupPanel;
private JPanel playerSettingsViewport;
private JPanel ruleSetupPanel;
@@ -97,8 +79,7 @@ class SettingsPanel extends JPanel implements ISettingsPanel {
break;
}
- PlayerSettingsPanel panel = new PlayerSettingsPanel("Spieler " + num,
- color);
+ PlayerSettingsPanel panel = new PlayerSettingsPanel("Spieler " + num, color);
playerSettingsPanels.add(panel);
playerSettingsViewport.add(panel,
playerSettingsViewport.getComponentCount() - 1);
@@ -124,8 +105,7 @@ class SettingsPanel extends JPanel implements ISettingsPanel {
playerSettingsViewport.add(addPlayerPanel);
JButton addPlayerButton = new JButton("+");
- addPlayerButton
- .setFont(addPlayerButton.getFont().deriveFont(Font.BOLD));
+ addPlayerButton.setFont(addPlayerButton.getFont().deriveFont(Font.BOLD));
addPlayerButton.addActionListener(new ActionListener() {
@Override
public void actionPerformed(ActionEvent e) {
@@ -175,8 +155,8 @@ class SettingsPanel extends JPanel implements ISettingsPanel {
});
add(startButton, c);
- setBorder(new CompoundBorder(new LineBorder(Color.BLACK),
- new EmptyBorder(10, 10, 10, 10)));
+ setBorder(new CompoundBorder(new LineBorder(Color.BLACK), new EmptyBorder(
+ 10, 10, 10, 10)));
}
private class PlayerSettingsPanel extends JPanel {
@@ -195,8 +175,8 @@ class SettingsPanel extends JPanel implements ISettingsPanel {
}
private void updateColor() {
- colorButton.setIcon(ImageUtil.createColorIcon(settings.getColor(),
- 16, 2));
+ colorButton
+ .setIcon(ImageUtil.createColorIcon(settings.getColor(), 16, 2));
}
private void setName() {