From fee630a0ac43fa4f04faf22a85fb570be5c85e5b Mon Sep 17 00:00:00 2001 From: Devon Richards Date: Sat, 24 Jun 2017 11:23:58 -0500 Subject: [PATCH] Small cleanup --- .../client/remote/CallbackClientImpl.java | 2 +- .../src/mage/player/human/PlayerResponse.java | 19 +++++++++++-------- 2 files changed, 12 insertions(+), 9 deletions(-) diff --git a/Mage.Client/src/main/java/mage/client/remote/CallbackClientImpl.java b/Mage.Client/src/main/java/mage/client/remote/CallbackClientImpl.java index dbd37a147b..6e1db68012 100644 --- a/Mage.Client/src/main/java/mage/client/remote/CallbackClientImpl.java +++ b/Mage.Client/src/main/java/mage/client/remote/CallbackClientImpl.java @@ -422,7 +422,7 @@ public class CallbackClientImpl implements CallbackClient { .append(" - Undo F4/F5/F7/F9/F11") .append("
") .append(KeyEvent.getKeyText(PreferencesDialog.getCachedValue(PreferencesDialog.KEY_CONTROL_TOGGLE_MACRO, 119))) - .append(" - Toggle recording a sequence of actions to repeat") + .append(" - Toggle recording a sequence of actions to repeat. Will not pause if interrupted and can fail if a selected card changes such as when scrying top card to bottom.") .append("
").append(System.getProperty("os.name").contains("Mac OS X") ? "Cmd" : "Ctrl").append(" + click - Hold priority while casting a spell or activating an ability").toString(), null, MessageType.USER_INFO, ChatMessage.MessageColor.BLUE); break; diff --git a/Mage.Server.Plugins/Mage.Player.Human/src/mage/player/human/PlayerResponse.java b/Mage.Server.Plugins/Mage.Player.Human/src/mage/player/human/PlayerResponse.java index 5d82f84374..601ccd3d6a 100644 --- a/Mage.Server.Plugins/Mage.Player.Human/src/mage/player/human/PlayerResponse.java +++ b/Mage.Server.Plugins/Mage.Player.Human/src/mage/player/human/PlayerResponse.java @@ -50,14 +50,17 @@ public class PlayerResponse implements Serializable { } public String toString() { - String res = new String(); - res += responseString + ","; - res += responseUUID + ","; - res += responseBoolean + ","; - res += responseInteger + ","; - res += responseManaType + ","; - res += responseManaTypePlayerId; - return res; + return new StringBuilder(responseString) + .append(',') + .append(responseUUID) + .append(',') + .append(responseBoolean) + .append(',') + .append(responseInteger) + .append(',') + .append(responseManaType) + .append(',') + .append(responseManaTypePlayerId).toString(); } public PlayerResponse(PlayerResponse other) {