()
| 5216 | } |
| 5217 | |
| 5218 | private String appendToBuffer() { |
| 5219 | String text = getStringArg(); |
| 5220 | if (buffer==null) |
| 5221 | buffer = new StringBuffer(256); |
| 5222 | buffer.append(text); |
| 5223 | return null; |
| 5224 | } |
| 5225 | |
| 5226 | private String copyStringToClipboard() { |
| 5227 | String text = getStringArg(); |
no test coverage detected