git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
6258015
)
changes to jalviewfilechooser
author
amwaterhouse
<Andrew Waterhouse>
Thu, 19 May 2005 17:56:57 +0000
(17:56 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Thu, 19 May 2005 17:56:57 +0000
(17:56 +0000)
src/jalview/gui/AlignmentPanel.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/AlignmentPanel.java
b/src/jalview/gui/AlignmentPanel.java
index
b339e51
..
71b326e
100755
(executable)
--- a/
src/jalview/gui/AlignmentPanel.java
+++ b/
src/jalview/gui/AlignmentPanel.java
@@
-569,7
+569,10
@@
public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
try
\r
{
\r
jalview.io.JalviewFileChooser chooser = new jalview.io.JalviewFileChooser(jalview.bin.Cache.getProperty(
\r
try
\r
{
\r
jalview.io.JalviewFileChooser chooser = new jalview.io.JalviewFileChooser(jalview.bin.Cache.getProperty(
\r
- "LAST_DIRECTORY"), new String[]{"eps"}, "Encapsulated Postscript");
\r
+ "LAST_DIRECTORY"),
\r
+ new String[]{"eps"},
\r
+ new String[]{"Encapsulated Postscript"},
\r
+ "Encapsulated Postscript");
\r
chooser.setFileView(new jalview.io.JalviewFileView());
\r
chooser.setDialogTitle("Create EPS file from alignment");
\r
chooser.setToolTipText("Save");
\r
chooser.setFileView(new jalview.io.JalviewFileView());
\r
chooser.setDialogTitle("Create EPS file from alignment");
\r
chooser.setToolTipText("Save");
\r
@@
-578,7
+581,7
@@
public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
if (value != jalview.io.JalviewFileChooser.APPROVE_OPTION)
\r
return;
\r
\r
if (value != jalview.io.JalviewFileChooser.APPROVE_OPTION)
\r
return;
\r
\r
- jalview.bin.Cache.setProperty("LAST_DIRECTORY",chooser.getSelectedFile().getPath());
\r
+ jalview.bin.Cache.setProperty("LAST_DIRECTORY",chooser.getSelectedFile().getParent());
\r
FileOutputStream out = new FileOutputStream(chooser.getSelectedFile());
\r
EpsGraphics2D pg = new EpsGraphics2D("Example", out, 0, 0, width, height);
\r
\r
FileOutputStream out = new FileOutputStream(chooser.getSelectedFile());
\r
EpsGraphics2D pg = new EpsGraphics2D("Example", out, 0, 0, width, height);
\r
\r
@@
-618,7
+621,10
@@
public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
try
\r
{
\r
jalview.io.JalviewFileChooser chooser = new jalview.io.JalviewFileChooser(jalview.bin.Cache.getProperty(
\r
try
\r
{
\r
jalview.io.JalviewFileChooser chooser = new jalview.io.JalviewFileChooser(jalview.bin.Cache.getProperty(
\r
- "LAST_DIRECTORY"), new String[]{"png"}, "Portable network graphics");
\r
+ "LAST_DIRECTORY"),
\r
+ new String[]{"png"},
\r
+ new String[]{"Portable network graphics"},
\r
+ "Portable network graphics");
\r
chooser.setFileView(new jalview.io.JalviewFileView());
\r
chooser.setDialogTitle("Create EPS file from alignment");
\r
chooser.setToolTipText("Save");
\r
chooser.setFileView(new jalview.io.JalviewFileView());
\r
chooser.setDialogTitle("Create EPS file from alignment");
\r
chooser.setToolTipText("Save");
\r
@@
-627,7
+633,7
@@
public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
if (value != jalview.io.JalviewFileChooser.APPROVE_OPTION)
\r
return;
\r
\r
if (value != jalview.io.JalviewFileChooser.APPROVE_OPTION)
\r
return;
\r
\r
- jalview.bin.Cache.setProperty("LAST_DIRECTORY",chooser.getSelectedFile().getPath());
\r
+ jalview.bin.Cache.setProperty("LAST_DIRECTORY",chooser.getSelectedFile().getParent());
\r
FileOutputStream out = new FileOutputStream(chooser.getSelectedFile());
\r
\r
BufferedImage bi = new BufferedImage(width, height, BufferedImage.TYPE_INT_RGB);
\r
FileOutputStream out = new FileOutputStream(chooser.getSelectedFile());
\r
\r
BufferedImage bi = new BufferedImage(width, height, BufferedImage.TYPE_INT_RGB);
\r