37 |
public class PUIClipboard { |
public class PUIClipboard { |
38 |
public static final String rcsid = "$Id$"; |
public static final String rcsid = "$Id$"; |
39 |
public static boolean dbg = false; |
public static boolean dbg = false; |
40 |
private static void p(String s) { System.err.println(s); } |
private static void pa(String s) { System.err.println(s); } |
41 |
|
|
42 |
static private Clipboard getClipboard() { |
static private Clipboard getClipboard() { |
43 |
return Toolkit.getDefaultToolkit().getSystemClipboard(); |
return Toolkit.getDefaultToolkit().getSystemClipboard(); |
55 |
s = (String) content.getTransferData(DataFlavor.stringFlavor); |
s = (String) content.getTransferData(DataFlavor.stringFlavor); |
56 |
} catch (Exception e) { |
} catch (Exception e) { |
57 |
if(!dbg) |
if(!dbg) |
58 |
p("Paste failed: "+e.toString()); |
pa("Paste failed: "+e.toString()); |
59 |
else |
else |
60 |
e.printStackTrace(); |
e.printStackTrace(); |
61 |
return null; |
return null; |
65 |
} |
} |
66 |
|
|
67 |
static public void puiCopy(String str) { |
static public void puiCopy(String str) { |
68 |
if(dbg) p("PuiCOPY '"+str+"'"); |
if(dbg) pa("PuiCOPY '"+str+"'"); |
69 |
Clipboard clipboard = getClipboard(); |
Clipboard clipboard = getClipboard(); |
70 |
StringSelection contents = new StringSelection(str); |
StringSelection contents = new StringSelection(str); |
71 |
clipboard.setContents(contents, new ClipboardOwner() { |
clipboard.setContents(contents, new ClipboardOwner() { |