if (url.toLowerCase().endsWith(".jar"))\r
{\r
jalview.bin.Cache.setProperty("DEFAULT_FILE_FORMAT", "Jalview");\r
if (url.toLowerCase().endsWith(".jar"))\r
{\r
jalview.bin.Cache.setProperty("DEFAULT_FILE_FORMAT", "Jalview");\r
{\r
java.io.File choice = chooser.getSelectedFile();\r
jalview.bin.Cache.setProperty("LAST_DIRECTORY", choice.getParent());\r
{\r
java.io.File choice = chooser.getSelectedFile();\r
jalview.bin.Cache.setProperty("LAST_DIRECTORY", choice.getParent());\r
String choice = chooser.getSelectedFile().getAbsolutePath();\r
jalview.bin.Cache.setProperty("LAST_DIRECTORY",\r
chooser.getSelectedFile().getParent());\r
String choice = chooser.getSelectedFile().getAbsolutePath();\r
jalview.bin.Cache.setProperty("LAST_DIRECTORY",\r
chooser.getSelectedFile().getParent());\r