From 9ac7f9bb992a6156087c1e04ed929e5c908a22a8 Mon Sep 17 00:00:00 2001 From: SiboVG Date: Sun, 17 Sep 2023 18:34:31 +0200 Subject: [PATCH] Set border around welcome dialog --- swing/src/net/sf/openrocket/gui/dialogs/WelcomeDialog.java | 1 + 1 file changed, 1 insertion(+) diff --git a/swing/src/net/sf/openrocket/gui/dialogs/WelcomeDialog.java b/swing/src/net/sf/openrocket/gui/dialogs/WelcomeDialog.java index 4cc65eabf..d7d41951d 100644 --- a/swing/src/net/sf/openrocket/gui/dialogs/WelcomeDialog.java +++ b/swing/src/net/sf/openrocket/gui/dialogs/WelcomeDialog.java @@ -61,6 +61,7 @@ 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) + "

" +