From e7a973ec4c6490a2879d0b70832efbd9f4d5af7e Mon Sep 17 00:00:00 2001
From: Federico Bond <federicobond@gmail.com>
Date: Fri, 22 Aug 2014 01:07:52 -0300
Subject: [PATCH] Fix preferences file path in preferences window

---
 app/src/processing/app/Preferences.java      | 6 +++++-
 app/src/processing/app/PreferencesFrame.java | 2 +-
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/app/src/processing/app/Preferences.java b/app/src/processing/app/Preferences.java
index 85bd12ac2..969ed3039 100644
--- a/app/src/processing/app/Preferences.java
+++ b/app/src/processing/app/Preferences.java
@@ -151,6 +151,10 @@ public class Preferences {
     }
   }
 
+  static public File getPreferencesFile() {
+    return preferencesFile;
+  }
+
 
   // .................................................................
 
@@ -382,4 +386,4 @@ public class Preferences {
   static protected void setSketchbookPath(String path) {
     set("sketchbook.path.three", path); //$NON-NLS-1$
   }
-}
\ No newline at end of file
+}
diff --git a/app/src/processing/app/PreferencesFrame.java b/app/src/processing/app/PreferencesFrame.java
index 949e7b851..bf803b70c 100644
--- a/app/src/processing/app/PreferencesFrame.java
+++ b/app/src/processing/app/PreferencesFrame.java
@@ -526,7 +526,7 @@ public class PreferencesFrame {
     right = Math.max(right, left + d.width);
     top += d.height; // + GUI_SMALL;
 
-    label = new JLabel(Preferences.getSketchbookPath());
+    label = new JLabel(Preferences.getPreferencesFile().getAbsolutePath());
     final JLabel clickable = label;
     label.addMouseListener(new MouseAdapter() {
         public void mousePressed(MouseEvent e) {