/[fenfire]/fenfire/org/fenfire/util/PUIClipboard.java
ViewVC logotype

Diff of /fenfire/org/fenfire/util/PUIClipboard.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.1 by benja, Sat Mar 22 21:04:44 2003 UTC revision 1.2 by tjl, Fri Apr 25 11:19:39 2003 UTC
# Line 37  import java.awt.datatransfer.*; Line 37  import java.awt.datatransfer.*;
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();
# Line 55  public static final String rcsid = "$Id$ Line 55  public static final String rcsid = "$Id$
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;
# Line 65  public static final String rcsid = "$Id$ Line 65  public static final String rcsid = "$Id$
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() {

Legend:
Removed from v.1.1  
changed lines
  Added in v.1.2

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26