External/mage
1
0
Fork 1
mirror of https://github.com/magefree/mage.git synced 2025-12-23 03:51:58 -08:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fixed Issue#165: Decksize over 99 cards not displayed correct

Browse source
This commit is contained in:
magenoxx 2013-03-20 08:27:55 +04:00
parent 13c2b2d477
commit 4adb63cc7a
1 changed files with 15 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

17
Mage.Client/src/main/java/mage/client/game/PlayerPanelExt.java
View file

@ -118,7 +118,19 @@ public class PlayerPanelExt extends javax.swing.JPanel {
lifeLabel.setText(Integer.toString(player.getLife())); lifeLabel.setText(Integer.toString(player.getLife()));
poisonLabel.setText(Integer.toString(player.getPoison())); poisonLabel.setText(Integer.toString(player.getPoison()));
handLabel.setText(Integer.toString(player.getHandCount())); handLabel.setText(Integer.toString(player.getHandCount()));
libraryLabel.setText(Integer.toString(player.getLibraryCount())); int count = player.getLibraryCount();
if (count > 99) {
Font font = libraryLabel.getFont();
font = font.deriveFont(9f);
libraryLabel.setFont(font);
changedFont = true;
} else if (changedFont) {
Font font = libraryLabel.getFont();
font = font.deriveFont(12f);
libraryLabel.setFont(font);
changedFont = false;
}
libraryLabel.setText(Integer.toString(count));
graveLabel.setText(Integer.toString(player.getGraveyard().size())); graveLabel.setText(Integer.toString(player.getGraveyard().size()));
if (!MageFrame.isLite()) { if (!MageFrame.isLite()) {
@ -417,7 +429,7 @@ public class PlayerPanelExt extends javax.swing.JPanel {
.addComponent(manaCountLabelG, GroupLayout.PREFERRED_SIZE, 30, GroupLayout.PREFERRED_SIZE)) .addComponent(manaCountLabelG, GroupLayout.PREFERRED_SIZE, 30, GroupLayout.PREFERRED_SIZE))
.addGroup(gl_panelBackground.createSequentialGroup() .addGroup(gl_panelBackground.createSequentialGroup()
.addGap(40) .addGap(40)
.addComponent(libraryLabel, GroupLayout.PREFERRED_SIZE, 20, GroupLayout.PREFERRED_SIZE)) .addComponent(libraryLabel, GroupLayout.PREFERRED_SIZE, 25, GroupLayout.PREFERRED_SIZE))
.addGroup(gl_panelBackground.createSequentialGroup() .addGroup(gl_panelBackground.createSequentialGroup()
.addGap(18) .addGap(18)
.addComponent(cheat, GroupLayout.PREFERRED_SIZE, 25, GroupLayout.PREFERRED_SIZE)) .addComponent(cheat, GroupLayout.PREFERRED_SIZE, 25, GroupLayout.PREFERRED_SIZE))
@ -584,6 +596,7 @@ public class PlayerPanelExt extends javax.swing.JPanel {
private JLabel libraryLabel; private JLabel libraryLabel;
private JLabel poisonLabel; private JLabel poisonLabel;
private JLabel graveLabel; private JLabel graveLabel;
private boolean changedFont;
private JPanel zonesPanel; private JPanel zonesPanel;
private HoverButton exileZone; private HoverButton exileZone;