diff options
author | Cristian Maglie <c.maglie@arduino.cc> | 2021-08-18 12:58:13 +0300 |
---|---|---|
committer | Cristian Maglie <c.maglie@arduino.cc> | 2021-08-18 12:58:13 +0300 |
commit | 240e1b5624681ae9d60741be1b9b80489ac26a24 (patch) | |
tree | 20fc31070ec259a9f06b0a214e1ec8400fb47d45 | |
parent | a55a6d2a9d62b7bddbd9dbe9de784cbbbf6540a3 (diff) |
Force font metrics recalculation when changing tabs
Fix #7321
-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 |