neocturne/JRummikub
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix down button arrow size

Browse source 
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@394 72836036-5685-4462-b002-a69064685172
This commit is contained in:
Matthias Schiffer 2011-06-10 14:12:07 +02:00
parent 594065b4ba
commit d940351fe4
1 changed files with 10 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
src/jrummikub/view/impl/PlayerPanel.java
View file

@ -69,7 +69,7 @@ class PlayerPanel extends JPanel implements IPlayerPanel {
* Sets the current player name * Sets the current player name
* *
* @param playerName * @param playerName
* the player name * the player name
*/ */
void setCurrentPlayerName(String playerName) { void setCurrentPlayerName(String playerName) {
currentPlayerNameLabel.setText(playerName); currentPlayerNameLabel.setText(playerName);
@ -141,8 +141,7 @@ class PlayerPanel extends JPanel implements IPlayerPanel {
leftPanel.add(hasLaidOutLabel); leftPanel.add(hasLaidOutLabel);
sortByGroupsButton = createButton(leftPanel, sortByGroupsButton = createButton(leftPanel,
"<html><center>Nach Sammlungen sortieren", "<html><center>Nach Sammlungen sortieren", new ActionListener() {
new ActionListener() {
@Override @Override
public void actionPerformed(ActionEvent arg0) { public void actionPerformed(ActionEvent arg0) {
sortByGroupsEvent.emit(); sortByGroupsEvent.emit();
@ -163,8 +162,8 @@ class PlayerPanel extends JPanel implements IPlayerPanel {
private void createRightPanel() { private void createRightPanel() {
rightPanel = new JPanel(); rightPanel = new JPanel();
rightPanel.setLayout(null); rightPanel.setLayout(null);
rightPanel.setBorder(new EmptyBorder(SIDE_PANEL_INSET, rightPanel.setBorder(new EmptyBorder(SIDE_PANEL_INSET, SIDE_PANEL_INSET,
SIDE_PANEL_INSET, SIDE_PANEL_INSET, SIDE_PANEL_INSET)); SIDE_PANEL_INSET, SIDE_PANEL_INSET));
handRowUpButton = createButton(rightPanel, "<html><center>\u25B2", handRowUpButton = createButton(rightPanel, "<html><center>\u25B2",
new ActionListener() { new ActionListener() {
@ -236,8 +235,7 @@ class PlayerPanel extends JPanel implements IPlayerPanel {
private void rescale() { private void rescale() {
Insets insets = getInsets(); Insets insets = getInsets();
int x = insets.left, y = insets.top, width = getWidth() - insets.left int x = insets.left, y = insets.top, width = getWidth() - insets.left
- insets.right, height = getHeight() - insets.top - insets.right, height = getHeight() - insets.top - insets.bottom;
- insets.bottom;
int boardWidth = hand.getWidth(); int boardWidth = hand.getWidth();
int handButtonWidth = (int) (width * HAND_ROW_BUTTON_RATIO); int handButtonWidth = (int) (width * HAND_ROW_BUTTON_RATIO);
int meanPanelWidth = (width - boardWidth) / 2; int meanPanelWidth = (width - boardWidth) / 2;
@ -246,8 +244,8 @@ class PlayerPanel extends JPanel implements IPlayerPanel {
leftPanel.setBounds(x, y, leftPanelWidth, height); leftPanel.setBounds(x, y, leftPanelWidth, height);
hand.setBounds(x + leftPanelWidth, y, boardWidth, height); hand.setBounds(x + leftPanelWidth, y, boardWidth, height);
rightPanel.setBounds(x + leftPanelWidth + boardWidth, y, rightPanel.setBounds(x + leftPanelWidth + boardWidth, y, rightPanelWidth,
rightPanelWidth, height); height);
leftPanel.validate(); leftPanel.validate();
rightPanel.validate(); rightPanel.validate();
@ -255,8 +253,7 @@ class PlayerPanel extends JPanel implements IPlayerPanel {
void updateButtons() { void updateButtons() {
handRowUpButton.setEnabled(hand.canRowUp()); handRowUpButton.setEnabled(hand.canRowUp());
handRowUpButton.setForeground(hand.canRowUp() ? Color.BLACK handRowUpButton.setForeground(hand.canRowUp() ? Color.BLACK : Color.GRAY);
: Color.GRAY);
handRowDownButton.setEnabled(hand.canRowDown()); handRowDownButton.setEnabled(hand.canRowDown());
handRowDownButton.setForeground(hand.canRowDown() ? Color.BLACK handRowDownButton.setForeground(hand.canRowDown() ? Color.BLACK
: Color.GRAY); : Color.GRAY);
@ -419,8 +416,8 @@ class PlayerPanel extends JPanel implements IPlayerPanel {
fontSize * 1.5f)); fontSize * 1.5f));
handRowDownButton.setBounds(0, getHeight() / 2, handButtonWidth, handRowDownButton.setBounds(0, getHeight() / 2, handButtonWidth,
getHeight() / 2); getHeight() / 2);
handRowDownButton.setFont(handRowDownButton.getFont() handRowDownButton.setFont(handRowDownButton.getFont().deriveFont(
.deriveFont(fontSize)); fontSize * 1.5f));
timeBar.setBounds(x, y, width - firstLineHeight - SIDE_PANEL_SEPARATOR, timeBar.setBounds(x, y, width - firstLineHeight - SIDE_PANEL_SEPARATOR,
firstLineHeight); firstLineHeight);