mirror of
https://github.com/magefree/mage.git
synced 2025-12-22 11:32:00 -08:00
* Added a simple identifier to tooltip and game log to be able to identify the exact target if multiple objects with the same name exist.
This commit is contained in:
parent
e2cb40de70
commit
28d46e2a95
2 changed files with 2 additions and 2 deletions
|
|
@ -192,7 +192,7 @@ public class GuiDisplayUtil {
|
|||
buffer.append("pt;margin:0px 1px 0px 1px'>");
|
||||
buffer.append("<table cellspacing=0 cellpadding=0 border=0 width='100%'>");
|
||||
buffer.append("<tr><td valign='top'><b>");
|
||||
buffer.append(card.getDisplayName());
|
||||
buffer.append(card.getDisplayName()).append(" [").append(card.getId().toString().substring(0,3)).append("]");
|
||||
buffer.append("</b></td><td align='right' valign='top' style='width:");
|
||||
buffer.append(symbolCount * 11 + 1);
|
||||
buffer.append("px'>");
|
||||
|
|
|
|||
|
|
@ -54,7 +54,7 @@ public class GameLog {
|
|||
}
|
||||
|
||||
public static String getColoredObjectName(MageObject mageObject) {
|
||||
return "<font color=\'" + getColorName(mageObject.getColor()) + "\'>" + mageObject.getName() + "</font>";
|
||||
return "<font color=\'" + getColorName(mageObject.getColor()) + "\'>" + mageObject.getName() + " ["+mageObject.getId().toString().substring(0,3) + "]</font>";
|
||||
}
|
||||
|
||||
public static String getNeutralColoredText(String text) {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue