formatting

[jalview.git] / src / jalview / gui / CutAndPasteHtmlTransfer.java

diff --git a/src/jalview/gui/CutAndPasteHtmlTransfer.java b/src/jalview/gui/CutAndPasteHtmlTransfer.java
index 903cd23..97f4f6a 100644 (file)
--- a/src/jalview/gui/CutAndPasteHtmlTransfer.java
+++ b/src/jalview/gui/CutAndPasteHtmlTransfer.java
@@ -32,8 +32,7 @@ import jalview.io.*;
 import jalview.jbgui.*;
 
 /**
- * Cut'n'paste files into the desktop
- * See JAL-1105
+ * Cut'n'paste files into the desktop See JAL-1105
  * 
  * @author $author$
  * @version $Revision$
@@ -49,35 +48,35 @@ public class CutAndPasteHtmlTransfer extends GCutAndPasteHtmlTransfer
     displaySource.setSelected(false);
     textarea.addKeyListener(new KeyListener()
     {
-      
+
       @Override
       public void keyTyped(KeyEvent arg0)
       {
-        //if (arg0.isControlDown() && arg0.getKeyCode()==KeyEvent.VK_C)
-        //{
-        //  copyItem_actionPerformed(null);
-        //} 
+        // if (arg0.isControlDown() && arg0.getKeyCode()==KeyEvent.VK_C)
+        // {
+        // copyItem_actionPerformed(null);
+        // }
         arg0.consume();
       }
-      
+
       @Override
       public void keyReleased(KeyEvent arg0)
       {
         // TODO Auto-generated method stub
-        
+
       }
-      
+
       @Override
       public void keyPressed(KeyEvent arg0)
       {
         // TODO Auto-generated method stub
-        
+
       }
     });
     textarea.setEditable(false);
     textarea.addHyperlinkListener(new HyperlinkListener()
     {
-      
+
       @Override
       public void hyperlinkUpdate(HyperlinkEvent e)
       {
@@ -120,10 +119,12 @@ public class CutAndPasteHtmlTransfer extends GCutAndPasteHtmlTransfer
   {
     return textarea.getText();
   }
+
   /**
    * Set contents of HTML Display pane
    * 
-   * @param text HTML text
+   * @param text
+   *          HTML text
    */
   public void setText(String text)
   {
@@ -161,10 +162,12 @@ public class CutAndPasteHtmlTransfer extends GCutAndPasteHtmlTransfer
 
   public void toggleHtml_actionPerformed(ActionEvent e)
   {
-    String txt=textarea.getText();
-    textarea.setContentType(displaySource.isSelected() ? "text/text" : "text/html");
+    String txt = textarea.getText();
+    textarea.setContentType(displaySource.isSelected() ? "text/text"
+            : "text/html");
     textarea.setText(txt);
   }
+
   /**
    * DOCUMENT ME!
    * 
@@ -175,14 +178,19 @@ public class CutAndPasteHtmlTransfer extends GCutAndPasteHtmlTransfer
   {
     Clipboard c = Toolkit.getDefaultToolkit().getSystemClipboard();
     StringWriter sw = new StringWriter();
-    try {
-      textarea.getEditorKit().write(sw, textarea.getDocument(), textarea.getSelectionStart(), textarea.getSelectionEnd()-textarea.getSelectionStart());
-    } catch (Exception x){};
-    StringSelection ssel=new StringSelection(sw.getBuffer().toString());
-    c.setContents(ssel,ssel);
+    try
+    {
+      textarea.getEditorKit().write(sw, textarea.getDocument(),
+              textarea.getSelectionStart(),
+              textarea.getSelectionEnd() - textarea.getSelectionStart());
+    } catch (Exception x)
+    {
+    }
+    ;
+    StringSelection ssel = new StringSelection(sw.getBuffer().toString());
+    c.setContents(ssel, ssel);
   }
 
-
   /**
    * DOCUMENT ME!
    *