From abef7e9774709ae0f1c3b8d647dd40a0ef4b7a3c Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 23 Oct 2006 14:45:39 +0000
Subject: [PATCH] Tweaked file chooser so that it doesn't always start in bin
 on Windows.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@72 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/GUIPrism.java | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

diff --git a/prism/src/userinterface/GUIPrism.java b/prism/src/userinterface/GUIPrism.java
index 0d2d70d1..0b7d3adf 100644
--- a/prism/src/userinterface/GUIPrism.java
+++ b/prism/src/userinterface/GUIPrism.java
@@ -194,9 +194,19 @@ public class GUIPrism extends JFrame
         {
             throw new GUIException("Failed to Initialise:\nLook and Feel Invalid");
         }
-        choose = new JFileChooser();
-        File currentDir = new File(".");
-        choose.setCurrentDirectory(currentDir);
+		
+		// Create new file chooser which starts in current directory
+		choose = new JFileChooser();
+		File currentDir = new File(".");
+		// If current directory is the bin directory, go up one level (mainly for Windows version)
+		try {
+			currentDir = currentDir.getCanonicalFile();
+			if (currentDir.getName().equals("bin")) currentDir = currentDir.getParentFile();
+		} catch (IOException e) {
+			currentDir = new File(".");
+		}
+		choose.setCurrentDirectory(currentDir);
+		
         logPlug = null;
         eventHandle = new GUIEventHandler(this);