Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Commit 23a0232

Browse filesBrowse files
authored
Merge pull request #11650 from cmaglie/fix_font_resize_hide_tabs
Fix: Font size change corrupts inactive tabs
2 parents 7ab56aa + af5a3d7 commit 23a0232
Copy full SHA for 23a0232

File tree

1 file changed

+4
-2
lines changed
Filter options

1 file changed

+4
-2
lines changed

‎app/src/processing/app/Editor.java

Copy file name to clipboardExpand all lines: app/src/processing/app/Editor.java
+4-2Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1452,8 +1452,10 @@ public void selectTab(final int index) {
14521452
// This must be run in the GUI thread
14531453
SwingUtilities.invokeLater(() -> {
14541454
codePanel.removeAll();
1455-
codePanel.add(tabs.get(index), BorderLayout.CENTER);
1456-
tabs.get(index).requestFocusInWindow(); // get the caret blinking
1455+
EditorTab selectedTab = tabs.get(index);
1456+
codePanel.add(selectedTab, BorderLayout.CENTER);
1457+
selectedTab.applyPreferences();
1458+
selectedTab.requestFocusInWindow(); // get the caret blinking
14571459
// For some reason, these are needed. Revalidate says it should be
14581460
// automatically called when components are added or removed, but without
14591461
// it, the component switched to is not displayed. repaint() is needed to

0 commit comments

Comments
0 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.