X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FAlignFrame.java;h=692c2fde137e81d89d6e25a2cbda80a00d0d7e4f;hb=a0d1b1826f8ab0792c589946746d52ad0316fc99;hp=c9c51174c00f23484ee88f3fdb435fa8ce0d849d;hpb=f85c8c88d6947b9f290409f1271429144df2c120;p=jalview.git

diff --git a/src/jalview/appletgui/AlignFrame.java b/src/jalview/appletgui/AlignFrame.java
index c9c5117..692c2fd 100755
--- a/src/jalview/appletgui/AlignFrame.java
+++ b/src/jalview/appletgui/AlignFrame.java
@@ -35,7 +35,7 @@ public class AlignFrame
     extends GAlignFrame
 {
   final AlignmentPanel alignPanel;
-  final AlignViewport viewport;
+  public final AlignViewport viewport;
   int NEW_WINDOW_WIDTH = 700;
   int NEW_WINDOW_HEIGHT = 500;
   jalview.bin.JalviewLite applet;
@@ -241,14 +241,14 @@ public class AlignFrame
                                      "Alignment output - " + e.getActionCommand(),
                                      600, 500);
     cap.setText(new AppletFormatAdapter().formatSequences(e.getActionCommand(),
-                                              viewport.getAlignment().
-                                              getSequences()));
+                                              viewport.getAlignment().getSequences(),
+                                                      viewport.showDBPrefix,
+                                                      viewport.showJVSuffix));
   }
 
   public void closeMenuItem_actionPerformed(ActionEvent e)
   {
     PaintRefresher.components.remove(viewport.alignment);
-    dispose();
     if(PaintRefresher.components.size()==0 && applet==null)
       System.exit(0);
   }
@@ -863,13 +863,21 @@ public class AlignFrame
     new FontChooser(alignPanel);
   }
 
-  protected void fullSeqId_actionPerformed(ActionEvent e)
+  public void dbref_actionPerformed(ItemEvent e)
   {
-    viewport.setShowFullId(fullSeqId.getState());
+    viewport.showDBPrefix = dbref.getState();
     alignPanel.fontChanged();
     alignPanel.repaint();
   }
 
+  public void seqLimits_itemStateChanged(ItemEvent e)
+  {
+    viewport.setShowJVSuffix(seqLimits.getState());
+    alignPanel.fontChanged();
+    alignPanel.repaint();
+  }
+
+
   protected void colourTextMenuItem_actionPerformed(ActionEvent e)
   {
     viewport.setColourText(colourTextMenuItem.getState());
@@ -1201,7 +1209,7 @@ public class AlignFrame
   {
     addHistoryItem(new HistoryItem("ID Sort", viewport.alignment,
                                    HistoryItem.SORT));
-    AlignmentSorter.sortByID(viewport.getAlignment());
+    AlignmentSorter.sortByID(viewport.getAlignment(), viewport.showDBPrefix);
     alignPanel.repaint();
   }