From ab00a1360fb806e54930e1d777a7cdff477124a6 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@bug.st>
Date: Wed, 1 Feb 2012 14:25:26 +0100
Subject: [PATCH] Fixed preference setting whe changing board

---
 app/src/processing/app/Base.java | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/app/src/processing/app/Base.java b/app/src/processing/app/Base.java
index 00e27efd2..fa9313ec4 100644
--- a/app/src/processing/app/Base.java
+++ b/app/src/processing/app/Base.java
@@ -1087,8 +1087,7 @@ public class Base {
     for (TargetPackage targetPackage : packages.values()) {
       for (TargetPlatform targetPlatform : targetPackage.platforms()) {
         for (String programmer : targetPlatform.getProgrammers().keySet()) {
-          String id = targetPackage.getName() + ":" + targetPlatform.getName() +
-              ":" + programmer;
+          String id = targetPackage.getName() + ":" + programmer;
           AbstractAction action = new AbstractAction(targetPlatform
               .getProgrammers().get(programmer).get("name")) {
             public void actionPerformed(ActionEvent actionevent) {
@@ -1569,9 +1568,9 @@ public class Base {
   
   static public PreferencesMap getBoardPreferences() {
     TargetPlatform target = getTargetPlatform();
-	String board = Preferences.get("board");
+    String board = Preferences.get("board");
     return target.getBoards().get(board);
-  } 
+  }
 
   static public File getSketchbookFolder() {
     return new File(Preferences.get("sketchbook.path"));