File tree Expand file tree Collapse file tree 1 file changed +4
-3
lines changed Expand file tree Collapse file tree 1 file changed +4
-3
lines changed Original file line number Diff line number Diff line change 102102import processing .app .helpers .DocumentTextChangeListener ;
103103import processing .app .helpers .Keys ;
104104import processing .app .helpers .OSUtils ;
105+ import processing .app .helpers .PreferencesMap ;
105106import processing .app .helpers .PreferencesMapException ;
106107import processing .app .helpers .StringReplacer ;
107108import processing .app .legacy .PApplet ;
@@ -2587,9 +2588,9 @@ private void statusEmpty() {
25872588 // . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
25882589
25892590 protected void onBoardOrPortChange () {
2590- TargetBoard board = BaseNoGui .getTargetBoard ();
2591- if (board != null )
2592- lineStatus .setBoardName (board . getName ( ));
2591+ PreferencesMap boardPreferences = BaseNoGui .getBoardPreferences ();
2592+ if (boardPreferences != null )
2593+ lineStatus .setBoardName (boardPreferences . get ( "name" ));
25932594 else
25942595 lineStatus .setBoardName ("-" );
25952596 lineStatus .setPort (PreferencesData .get ("serial.port" ));
You can’t perform that action at this time.
0 commit comments