Push clipboard text only if not null

In practice, it does not change anything (it just avoids a spurious
wake-up), but semantically, it makes no sense to call
pushClipboardText() with a null value.
This commit is contained in:
Romain Vimont 2020-05-27 18:12:35 +02:00
parent 2ca8318b9d
commit 93a5c5149d

View file

@ -105,7 +105,9 @@ public class Controller {
break; break;
case ControlMessage.TYPE_GET_CLIPBOARD: case ControlMessage.TYPE_GET_CLIPBOARD:
String clipboardText = device.getClipboardText(); String clipboardText = device.getClipboardText();
sender.pushClipboardText(clipboardText); if (clipboardText != null) {
sender.pushClipboardText(clipboardText);
}
break; break;
case ControlMessage.TYPE_SET_CLIPBOARD: case ControlMessage.TYPE_SET_CLIPBOARD:
boolean paste = (msg.getFlags() & ControlMessage.FLAGS_PASTE) != 0; boolean paste = (msg.getFlags() & ControlMessage.FLAGS_PASTE) != 0;