X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FAlignmentPanel.java;h=67eaef8660052a6ec997472f5584caee65b2c15d;hb=3bdd4947c87108581abe34d05c878ee110b60f72;hp=7ef6763b74f3d7058b3a9e9a64495f9157a57d42;hpb=2959d102cb701ba58489e7222cd101d0eb02ead6;p=jalview.git

diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index 7ef6763..67eaef8 100755
--- a/src/jalview/gui/AlignmentPanel.java
+++ b/src/jalview/gui/AlignmentPanel.java
@@ -92,11 +92,8 @@ public class AlignmentPanel extends GAlignmentPanel
 
     setScrollValues(0, 0);
 
-    annotationPanel.adjustPanelHeight();
-    annotationSpaceFillerHolder.setPreferredSize(annotationPanel.
-                                                 getPreferredSize());
-    annotationScroller.setPreferredSize(annotationPanel.
-                                        getPreferredSize());
+    adjustAnnotationHeight();
+
     setAnnotationVisible(av.getShowAnnotation());
 
     hscroll.addAdjustmentListener(this);
@@ -106,6 +103,13 @@ public class AlignmentPanel extends GAlignmentPanel
     {
       public void keyPressed(KeyEvent evt)
       {
+        if(av.cursorMode
+           && evt.getKeyCode()>=KeyEvent.VK_0
+           && evt.getKeyCode()<=KeyEvent.VK_9)
+        {
+          seqPanel.numberPressed(evt.getKeyChar());
+        }
+
         switch (evt.getKeyCode())
         {
           case 27: // escape key
@@ -115,26 +119,125 @@ public class AlignmentPanel extends GAlignmentPanel
             break;
 
           case KeyEvent.VK_DOWN:
-            alignFrame.moveSelectedSequences(false);
-
+            if(av.cursorMode)
+            {
+              seqPanel.moveCursor(0,1);
+            }
+            else
+              alignFrame.moveSelectedSequences(false);
             break;
 
           case KeyEvent.VK_UP:
-            alignFrame.moveSelectedSequences(true);
+            if (av.cursorMode)
+            {
+              seqPanel.moveCursor(0,-1);
+            }
+            else
+              alignFrame.moveSelectedSequences(true);
+            break;
 
+          case KeyEvent.VK_LEFT:
+            if(av.cursorMode)
+            {
+              seqPanel.moveCursor(-1,0);
+            }
+            break;
+
+          case KeyEvent.VK_RIGHT:
+            if (av.cursorMode)
+            {
+              seqPanel.moveCursor(1,0);
+            }
+            break;
+
+          case KeyEvent.VK_SPACE:
+            if(av.cursorMode)
+            {
+              seqPanel.insertGapAtCursor(evt.isControlDown() || evt.isShiftDown());
+            }
             break;
 
-          case KeyEvent.VK_BACK_SPACE:
           case KeyEvent.VK_DELETE:
-            alignFrame.cut_actionPerformed(null);
+          case KeyEvent.VK_BACK_SPACE:
+            if(!av.cursorMode)
+            {
+              alignFrame.cut_actionPerformed(null);
+              seqPanel.seqCanvas.repaint();
+            }
+            else
+              seqPanel.deleteGapAtCursor(evt.isControlDown() || evt.isShiftDown());
+
             break;
 
+          case KeyEvent.VK_S:
+            if(av.cursorMode)
+            {
+              seqPanel.setCursorRow();
+            }
+            break;
+          case KeyEvent.VK_C:
+            if(av.cursorMode)
+            {
+              seqPanel.setCursorColumn();
+            }
+            break;
           case KeyEvent.VK_P:
-            seqPanel.seqCanvas.increaseAARatio();
+            if(av.cursorMode)
+            {
+              seqPanel.setCursorPosition();
+            }
             break;
-          case KeyEvent.VK_L:
-            seqPanel.seqCanvas.decreaseAARation();
+
+          case KeyEvent.VK_ENTER:
+          case KeyEvent.VK_COMMA:
+            if(av.cursorMode)
+            {
+              seqPanel.setCursorRowAndColumn();
+            }
+            break;
+
+          case KeyEvent.VK_Q:
+            if(av.cursorMode)
+            {
+              seqPanel.setSelectionAreaAtCursor(true);
+            }
             break;
+          case KeyEvent.VK_M:
+            if(av.cursorMode)
+            {
+              seqPanel.setSelectionAreaAtCursor(false);
+            }
+            break;
+
+         case KeyEvent.VK_F2:
+           av.cursorMode = ! av.cursorMode;
+           alignFrame.statusBar.setText("Keyboard editing mode is "+
+               (av.cursorMode ? "on" : "off"));
+           if(av.cursorMode)
+           {
+             seqPanel.seqCanvas.cursorX = av.startRes;
+             seqPanel.seqCanvas.cursorY = av.startSeq;
+           }
+           seqPanel.seqCanvas.repaint();
+           break;
+
+          case KeyEvent.VK_F1:
+            try
+            {
+              ClassLoader cl = jalview.gui.Desktop.class.getClassLoader();
+              java.net.URL url = javax.help.HelpSet.findHelpSet(cl, "help/help");
+              javax.help.HelpSet hs = new javax.help.HelpSet(cl, url);
+
+              javax.help.HelpBroker hb = hs.createHelpBroker();
+              hb.setCurrentID("home");
+              hb.setDisplayed(true);
+            }
+            catch (Exception ex)
+            {
+              ex.printStackTrace();
+            }
+            break;
+
         }
       }
     });
@@ -262,16 +365,21 @@ public class AlignmentPanel extends GAlignmentPanel
       }
       else
       {
-        int cwidth = seqPanel.seqCanvas.getWrappedCanvasWidth(seqPanel.seqCanvas.getWidth());
-        if( start<av.getStartRes() || start>(av.getStartRes()+cwidth) )
-        {
-          vscroll.setValue(start / cwidth);
-          av.startRes = vscroll.getValue() * cwidth;
-        }
+        scrollToWrappedVisible(start);
       }
     }
   }
 
+  void scrollToWrappedVisible(int res)
+  {
+    int cwidth = seqPanel.seqCanvas.getWrappedCanvasWidth(seqPanel.seqCanvas.getWidth());
+    if( res<=av.getStartRes() || res>=(av.getStartRes()+cwidth) )
+    {
+      vscroll.setValue(res / cwidth);
+      av.startRes = vscroll.getValue() * cwidth;
+    }
+  }
+
   /**
    * DOCUMENT ME!
    *
@@ -307,6 +415,37 @@ public class AlignmentPanel extends GAlignmentPanel
     repaint();
   }
 
+  public void adjustAnnotationHeight()
+  {
+    javax.swing.SwingUtilities.invokeLater(new Runnable()
+    {
+      public void run()
+      {
+          while(alignFrame.getHeight()==0)
+          {
+            Thread.yield();
+          }
+
+        int height = annotationPanel.adjustPanelHeight();
+
+        if (height > alignFrame.getHeight() / 2)
+        {
+          height = alignFrame.getHeight() / 2;
+        }
+
+        annotationScroller.setPreferredSize(
+            new Dimension(annotationScroller.getWidth(),
+                          height));
+
+        annotationSpaceFillerHolder.setPreferredSize(new Dimension(
+            annotationSpaceFillerHolder.getWidth(),
+            height));
+
+        annotationPanel.repaint();
+      }
+    });
+  }
+
   /**
    * DOCUMENT ME!
    *
@@ -373,7 +512,7 @@ public class AlignmentPanel extends GAlignmentPanel
    */
   public boolean scrollRight(boolean right)
   {
-    if (right)
+    if (!right)
     {
       if (hscroll.getValue() < 1)
       {
@@ -832,7 +971,6 @@ public class AlignmentPanel extends GAlignmentPanel
   {
     int height = ( (av.alignment.getHeight() + 1) * av.charHeight) + 30;
     int width = idPanel.getWidth() + (av.alignment.getWidth() * av.charWidth);
-
     if (idPanel.getWidth() == 0)
     {
       width += calculateIdWidth().getWidth() + 4;
@@ -841,7 +979,15 @@ public class AlignmentPanel extends GAlignmentPanel
     if (av.getWrapAlignment())
     {
       height = getWrappedHeight();
-      width = seqPanel.getWidth() + idPanel.getWidth();
+      if (System.getProperty("java.awt.headless") != null
+          && System.getProperty("java.awt.headless").equals("true"))
+      {
+        width = alignFrame.getWidth() - 22;
+      }
+      else
+
+        width = seqPanel.getWidth() + idPanel.getWidth();
+
     }
     else if (av.getShowAnnotation())
     {
@@ -1014,9 +1160,9 @@ public class AlignmentPanel extends GAlignmentPanel
                       if (features[f].getDescription() != null && !features[f].getType().equals(features[f].getDescription()))
                         text.append(" " + features[f].getDescription());
 
-                      if (features[f].getStatus() != null && features[f].getStatus().length()>0)
+                      if (features[f].getValue("status") != null )
                       {
-                        text.append(" (" + features[f].getStatus() + ")");
+                        text.append(" (" + features[f].getValue("status") + ")");
                       }
                     }
                   }
@@ -1044,9 +1190,19 @@ public class AlignmentPanel extends GAlignmentPanel
 
   int getWrappedHeight()
   {
+    int seqPanelWidth = seqPanel.seqCanvas.getWidth();
+
+    //If headless, seqPanel will have 0 width
+    if (System.getProperty("java.awt.headless") != null
+              && System.getProperty("java.awt.headless").equals("true"))
+    {
+      int idWidth = calculateIdWidth().width + 4;
+      seqPanelWidth = alignFrame.getWidth() - idWidth;
+    }
 
     int chunkWidth = seqPanel.seqCanvas.getWrappedCanvasWidth(
-        seqPanel.seqCanvas.getWidth());
+        seqPanelWidth
+          );
 
     int hgap = av.charHeight;
     if (av.scaleAboveWrapped)