Flush EditSession on CuboidClipboard paste

- Note that using CuboidClipboard is deprecated, and flushQueue should
heve been called anyway
This commit is contained in:
Jesse Boyd 2016-10-22 00:27:22 +11:00
parent 85133067dd
commit 4cafeb68ca
No known key found for this signature in database
GPG Key ID: 59F1DE6293AF6E1F

View File

@ -693,6 +693,7 @@ public class CuboidClipboard {
}
}
}
editSession.flushQueue();
}
/**