diff options
| -rw-r--r-- | app/src/processing/app/Editor.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java index c1be9b5ef..eabeac18e 100644 --- a/app/src/processing/app/Editor.java +++ b/app/src/processing/app/Editor.java @@ -1452,6 +1452,7 @@ public class Editor extends JFrame implements RunnerListener { codePanel.removeAll(); codePanel.add(tabs.get(index), BorderLayout.CENTER); tabs.get(index).requestFocusInWindow(); // get the caret blinking + tabs.get(index).applyPreferences(); // For some reason, these are needed. Revalidate says it should be // automatically called when components are added or removed, but without // it, the component switched to is not displayed. repaint() is needed to |