hongshaorou/openrocket
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update fonts license & bug dialog

Browse Source
This commit is contained in:
Sibo Van Gool 2022-02-11 01:15:31 +01:00 committed by SiboVG
parent 0e7c088c94
commit 5b2a7f5595
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
swing/src/net/sf/openrocket/gui/dialogs/BugReportDialog.java
View File

@ -19,6 +19,7 @@ import javax.swing.JLabel;
import javax.swing.JPanel; import javax.swing.JPanel;
import javax.swing.JScrollPane; import javax.swing.JScrollPane;
import javax.swing.JTextPane; import javax.swing.JTextPane;
import javax.swing.UIManager;
import com.jogamp.opengl.JoglVersion; import com.jogamp.opengl.JoglVersion;
@ -72,6 +73,7 @@ public class BugReportDialog extends JDialog {
final JEditorPane editorPane = new JEditorPane("text/html", formatNewlineHTML(message)); final JEditorPane editorPane = new JEditorPane("text/html", formatNewlineHTML(message));
editorPane.putClientProperty(JTextPane.HONOR_DISPLAY_PROPERTIES, true); editorPane.putClientProperty(JTextPane.HONOR_DISPLAY_PROPERTIES, true);
editorPane.setFont(UIManager.getFont("Label.font"));
editorPane.setPreferredSize(new Dimension(600, 400)); editorPane.setPreferredSize(new Dimension(600, 400));
editorPane.setEditable(true); editorPane.setEditable(true);
editorPane.setCaretPosition(0); // Scroll to the top by default editorPane.setCaretPosition(0); // Scroll to the top by default

3
swing/src/net/sf/openrocket/gui/dialogs/LicenseDialog.java
View File

@ -8,6 +8,7 @@ import javax.swing.JDialog;
import javax.swing.JFrame; import javax.swing.JFrame;
import javax.swing.JLabel; import javax.swing.JLabel;
import javax.swing.JPanel; import javax.swing.JPanel;
import javax.swing.UIManager;
import net.miginfocom.swing.MigLayout; import net.miginfocom.swing.MigLayout;
import net.sf.openrocket.gui.components.DescriptionArea; import net.sf.openrocket.gui.components.DescriptionArea;
@ -138,7 +139,7 @@ public class LicenseDialog extends JDialog {
/*****************************************************************************************************************************/ /*****************************************************************************************************************************/
DescriptionArea info = new DescriptionArea(20); DescriptionArea info = new DescriptionArea(20);
info.setTextFont(null); info.setTextFont(UIManager.getFont("Label.font"));
info.setText(orLicense + componentsLicense + fontLicense + commonmarkLicense); info.setText(orLicense + componentsLicense + fontLicense + commonmarkLicense);
panel.add(info, "newline, width 700lp, height 250lp, pushy, grow, spanx, wrap para"); panel.add(info, "newline, width 700lp, height 250lp, pushy, grow, spanx, wrap para");