external-repos/forge
1
0
Fork 0
mirror of https://github.com/Card-Forge/forge.git synced 2025-11-19 20:28:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'fix-broken-start' into 'master'

Browse Source 
Fix start crash

See merge request core-developers/forge!2296
This commit is contained in:
swordshine
2019-11-23 02:40:36 +00:00
parent 678d09558c a9d9c800b8
commit 94de9e7cf2
1 changed files with 12 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

31
forge-gui-desktop/src/main/java/forge/toolbox/special/PlayerDetailsPanel.java
View File

@@ -1,31 +1,24 @@
package forge.toolbox.special; package forge.toolbox.special;
import java.awt.Component;
import java.awt.Font;
import java.awt.Graphics;
import java.awt.event.MouseEvent;
import java.util.ArrayList;
import java.util.List;
import javax.swing.JPanel;
import javax.swing.SwingConstants;
import forge.card.mana.ManaAtom;
import forge.trackable.TrackableProperty;
import net.miginfocom.swing.MigLayout;
import org.apache.commons.lang3.StringUtils;
import org.apache.commons.lang3.tuple.Pair;
import com.google.common.base.Function; import com.google.common.base.Function;
import forge.assets.FSkinProp; import forge.assets.FSkinProp;
import forge.card.mana.ManaAtom;
import forge.game.player.PlayerView; import forge.game.player.PlayerView;
import forge.toolbox.FLabel; import forge.toolbox.FLabel;
import forge.toolbox.FMouseAdapter; import forge.toolbox.FMouseAdapter;
import forge.toolbox.FSkin; import forge.toolbox.FSkin;
import forge.toolbox.FSkin.SkinFont; import forge.toolbox.FSkin.SkinFont;
import forge.toolbox.FSkin.SkinnedPanel; import forge.toolbox.FSkin.SkinnedPanel;
import forge.trackable.TrackableProperty;
import net.miginfocom.swing.MigLayout;
import org.apache.commons.lang3.StringUtils;
import org.apache.commons.lang3.tuple.Pair;
import javax.swing.*;
import java.awt.*;
import java.awt.event.MouseEvent;
import java.util.ArrayList;
import java.util.List;
public class PlayerDetailsPanel extends JPanel { public class PlayerDetailsPanel extends JPanel {
private static final long serialVersionUID = -6531759554646891983L; private static final long serialVersionUID = -6531759554646891983L;
@@ -213,7 +206,7 @@ public class PlayerDetailsPanel extends JPanel {
} }
public void setToolTip(final String... args) { public void setToolTip(final String... args) {
super.setToolTipText(String.format(tooltip, (Object) args)); super.setToolTipText(String.format(tooltip, args));
} }
@Override @Override