commit ee268cf46a910babe1d80fbfeae21f4445a09f28
from: marcus <marcus@03d0f0ad-74f4-0310-ae7a-cf78699b6f6c>
date: Fri Oct 28 06:46:44 2005 UTC

added copy & paste with mouse (contributed)

commit - 2240cf8ad97202ed3125b340f7f461d44ae59424
commit + ee268cf46a910babe1d80fbfeae21f4445a09f28
blob - 945ca811f393572f3611150d574ed47b5a25d8b0
blob + a6e89e475969b262bc84b6c01df5955caa926c92
--- de/mud/jta/plugin/Terminal.java
+++ de/mud/jta/plugin/Terminal.java
@@ -64,6 +64,8 @@ import java.awt.event.ActionEvent;
 import java.awt.event.ActionListener;
 import java.awt.event.FocusEvent;
 import java.awt.event.FocusListener;
+import java.awt.event.MouseEvent;
+import java.awt.event.MouseListener;
 import java.io.IOException;
 import java.net.MalformedURLException;
 import java.net.URL;
@@ -115,6 +117,9 @@ public class Terminal extends Plugin
 
   private boolean localecho_overridden = false;
 
+  /** Access to the system clipboard */
+  private Clipboard clipboard = null;
+
   private Color codeToColor(String code) {
     if (colors.get(code) != null)
       return (Color) colors.get(code);
@@ -299,6 +304,47 @@ public class Terminal extends Plugin
       }
     });
 
+    // get a reference to the system clipboard.  
+    try {
+      clipboard = tPanel.getToolkit().getSystemClipboard();
+      System.out.println("Got the clipboard reference ok - copy & paste enabled");
+    } catch(Exception ex) {
+      System.out.println("Failed to get clipboard - copy and paste will not work");
+      /* ex.printStackTrace(); */
+    }
+    
+    //*******************************
+    //code to handle copy and paste
+    //from embeded terminal
+    //*******************************
+    terminal.addMouseListener(new MouseListener() {
+      public void mouseClicked(MouseEvent me) {
+        //make sure it only does the paste on button2(right mouse)
+        if (me.getButton() == me.BUTTON3 && clipboard != null) {
+          paste(clipboard);
+        }
+      }
+      public void mouseExited(MouseEvent arg0) {}
+      public void mousePressed(MouseEvent arg0) {
+        // System.out.println(">>>>MOUSE pressed");
+      }
+      public void mouseReleased(MouseEvent me) {
+        //make sure it only does the copy on button 1 (left mouse)
+        //System.out.println(">>>>MOUSE RELEASED");
+        if (me.getButton() == me.BUTTON1 && clipboard != null) {
+          String selection = terminal.getSelection();
+          // System.out.println(">>>>SELECTION = " + selection);
+          if (selection != null && selection.trim().length() > 0){
+            copy(clipboard);
+          }
+        } else {
+          //not left mouse
+          // System.out.println("NOT BUTTON 1(left mouse): " + me.getButton());
+        }
+      }
+      public void mouseEntered(MouseEvent arg0) {}
+    });
+
     // register an online status listener
     bus.registerPluginListener(new OnlineStatusListener() {
       public void online() {