From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 20 May 2005 14:57:29 +0000 (+0000)
Subject: DEFAULT_FILE_FORMAT added
X-Git-Tag: Release_2_0~246
X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=commitdiff_plain;h=0306c5b7a2aa4cc232ad0590a8ef285022eabd51

DEFAULT_FILE_FORMAT added
---

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index 32297e1..36183bb 100755
--- a/src/jalview/gui/Desktop.java
+++ b/src/jalview/gui/Desktop.java
@@ -182,7 +182,7 @@ this.setDropTarget(new java.awt.dnd.DropTarget(desktop, this));
    JalviewFileChooser chooser = new JalviewFileChooser(jalview.bin.Cache.getProperty("LAST_DIRECTORY"),
        new String[]{"fa, fasta, fastq", "aln",  "pfam", "msf", "pir","blc","jar"},
        new String[]{"Fasta", "Clustal", "PFAM", "MSF", "PIR", "BLC", "Jalview"}
-       ,null);
+       ,jalview.bin.Cache.getProperty("DEFAULT_FILE_FORMAT"));
 
    chooser.setFileView(new JalviewFileView());
    chooser.setDialogTitle("Open local file");
@@ -190,6 +190,7 @@ this.setDropTarget(new java.awt.dnd.DropTarget(desktop, this));
    int value = chooser.showOpenDialog(this);
    if(value == JalviewFileChooser.APPROVE_OPTION)
    {
+     jalview.bin.Cache.setProperty("DEFAULT_FILE_FORMAT", chooser.getSelectedFormat());
      String choice =  chooser.getSelectedFile().getPath();
      jalview.bin.Cache.setProperty("LAST_DIRECTORY", chooser.getSelectedFile().getParent());
      if(chooser.getSelectedFormat().equals("Jalview"))
diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index 1553de5..c11e545 100755
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -188,12 +188,13 @@ public class Preferences extends GPreferences
     JalviewFileChooser chooser = new JalviewFileChooser(jalview.bin.Cache.getProperty("LAST_DIRECTORY"),
         new String[]{"fa, fasta, fastq", "aln",  "pfam", "msf", "pir","blc","jar"},
         new String[]{"Fasta", "Clustal", "PFAM", "MSF", "PIR", "BLC", "Jalview"}
-       ,null);
+       ,jalview.bin.Cache.getProperty("DEFAULT_FILE_FORMAT"));
    chooser.setFileView(new JalviewFileView());
    chooser.setDialogTitle("Select startup file");
    int value = chooser.showOpenDialog(this);
    if(value == JalviewFileChooser.APPROVE_OPTION)
    {
+     jalview.bin.Cache.setProperty("DEFAULT_FILE_FORMAT", chooser.getSelectedFormat());
      startupFileTextfield.setText( chooser.getSelectedFile().getAbsolutePath() );
    }
   }
diff --git a/src/jalview/gui/SliderPanel.java b/src/jalview/gui/SliderPanel.java
index 6d4b975..eba89e8 100755
--- a/src/jalview/gui/SliderPanel.java
+++ b/src/jalview/gui/SliderPanel.java
@@ -201,7 +201,7 @@ public class SliderPanel extends GSliderPanel
       groupIndex--;
     }
 
-    ap.seqPanel.repaint();
+    ap.seqPanel.seqCanvas.repaint();
 
   }