From 2dd98cc328a4f3719d2c014f660e69ba7107d8e7 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@bug.st>
Date: Wed, 25 Apr 2012 13:39:53 +0200
Subject: [PATCH] Fixed IDE crash when user preferences was set to a
 no-more-existent board

---
 app/src/processing/app/EditorLineStatus.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/app/src/processing/app/EditorLineStatus.java b/app/src/processing/app/EditorLineStatus.java
index 2fcb8c917..e29fa0c2d 100644
--- a/app/src/processing/app/EditorLineStatus.java
+++ b/app/src/processing/app/EditorLineStatus.java
@@ -96,7 +96,10 @@ public class EditorLineStatus extends JComponent {
   public void paintComponent(Graphics g) {
     if (name=="" && serialport=="") {
       Map<String, String> boardPreferences =  Base.getBoardPreferences();
-      setBoardName(boardPreferences.get("name"));
+      if (boardPreferences!=null)
+        setBoardName(boardPreferences.get("name"));
+      else
+        setBoardName("-");
       setSerialPort(Preferences.get("serial.port"));
     }
     g.setColor(background);