()
| 322 | } |
| 323 | |
| 324 | @InvokableAction(name = "Paste clipboard", alternatives = "paste", category = "Keyboard", notifyOnRelease = false, defaultKeyMapping = {"Ctrl+Shift+V","Shift+Insert"}, consumeKeyEvent = true) |
| 325 | public static void pasteFromClipboard() { |
| 326 | Clipboard clipboard = Clipboard.getSystemClipboard(); |
| 327 | if (clipboard.hasString()) { |
| 328 | pasteFromString(clipboard.getString()); |
| 329 | } |
| 330 | } |
| 331 | static StringReader pasteBuffer = null; |
| 332 | |
| 333 | public static int getClipboardKeystroke() { |