arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-17 22:23:10 +03:00
Code Activity

Fixed IDE crash when user preferences was set to a no-more-existent board

Browse Source
This commit is contained in:
Cristian Maglie
2012-04-25 13:39:53 +02:00
parent 45619b4336
commit 2dd98cc328
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
app/src/processing/app/EditorLineStatus.java
View File

@ -96,7 +96,10 @@ public class EditorLineStatus extends JComponent {
public void paintComponent(Graphics g) { public void paintComponent(Graphics g) {
if (name=="" && serialport=="") { if (name=="" && serialport=="") {
Map<String, String> boardPreferences = Base.getBoardPreferences(); Map<String, String> boardPreferences = Base.getBoardPreferences();
if (boardPreferences!=null)
setBoardName(boardPreferences.get("name")); setBoardName(boardPreferences.get("name"));
else
setBoardName("-");
setSerialPort(Preferences.get("serial.port")); setSerialPort(Preferences.get("serial.port"));
} }
g.setColor(background); g.setColor(background);