From f77b76b64926f99385620eb8c1a3e2f11758c792 Mon Sep 17 00:00:00 2001 From: SiboVG Date: Sun, 17 Sep 2023 22:39:14 +0200 Subject: [PATCH] Fix welcome border dark mode --- swing/src/net/sf/openrocket/gui/dialogs/WelcomeDialog.java | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/swing/src/net/sf/openrocket/gui/dialogs/WelcomeDialog.java b/swing/src/net/sf/openrocket/gui/dialogs/WelcomeDialog.java index d7d41951d..4d1cfa805 100644 --- a/swing/src/net/sf/openrocket/gui/dialogs/WelcomeDialog.java +++ b/swing/src/net/sf/openrocket/gui/dialogs/WelcomeDialog.java @@ -61,7 +61,6 @@ public class WelcomeDialog extends JDialog { textPane.setContentType("text/html"); textPane.setMargin(new Insets(10, 10, 10, 10)); textPane.putClientProperty(JTextPane.HONOR_DISPLAY_PROPERTIES, true); - textPane.setBorder(GUIUtil.getUITheme().getBorder()); String sb = "" + MarkdownUtil.toHtml(releaseNotes) + "

" + @@ -82,7 +81,9 @@ public class WelcomeDialog extends JDialog { textPane.setText(sb); textPane.setCaretPosition(0); // Scroll to the top - panel.add(new JScrollPane(textPane), "skip 1, left, spanx, grow, push, gapbottom 6px, wrap"); + JScrollPane scrollPane = new JScrollPane(textPane); + scrollPane.setBorder(GUIUtil.getUITheme().getBorder()); + panel.add(scrollPane, "skip 1, left, spanx, grow, push, gapbottom 6px, wrap"); // Don't show this dialog again JCheckBox dontShowAgain = new JCheckBox(trans.get("welcome.dlg.checkbox.dontShowAgain"));