We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
arduino
Learn more about funding links in repositories.
Report abuse
There was an error while loading. Please reload this page.
1 parent a55a6d2 commit 240e1b5Copy full SHA for 240e1b5
app/src/processing/app/Editor.java
@@ -1452,6 +1452,7 @@ public void selectTab(final int index) {
1452
codePanel.removeAll();
1453
codePanel.add(tabs.get(index), BorderLayout.CENTER);
1454
tabs.get(index).requestFocusInWindow(); // get the caret blinking
1455
+ tabs.get(index).applyPreferences();
1456
// For some reason, these are needed. Revalidate says it should be
1457
// automatically called when components are added or removed, but without
1458
// it, the component switched to is not displayed. repaint() is needed to
0 commit comments