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

Use special HTML newline

Browse Source 
With the <br> HTML newline, when a user would want to copy-paste the bug report, it would just be one long string of text, because the <br> tag would just be replaced by a space instead of a newline.
This commit is contained in:
Sibo Van Gool 2022-01-28 22:52:35 +01:00
parent ec8d88fa01
commit 0773cfbdf5
1 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -71,7 +71,7 @@ public class BugReportDialog extends JDialog {
"gapleft para, split 2, gapright rel"); "gapleft para, split 2, gapright rel");
panel.add(new URLLabel(REPORT_EMAIL_URL, REPORT_EMAIL), "growx, wrap para"); panel.add(new URLLabel(REPORT_EMAIL_URL, REPORT_EMAIL), "growx, wrap para");
final JEditorPane editorPane = new JEditorPane("text/html", message.replace("\n", "<br>")); final JEditorPane editorPane = new JEditorPane("text/html", formatNewlineHTML(message));
editorPane.putClientProperty(JTextPane.HONOR_DISPLAY_PROPERTIES, true); editorPane.putClientProperty(JTextPane.HONOR_DISPLAY_PROPERTIES, true);
editorPane.setPreferredSize(new Dimension(600, 400)); editorPane.setPreferredSize(new Dimension(600, 400));
editorPane.setEditable(true); editorPane.setEditable(true);
@ -242,4 +242,15 @@ public class BugReportDialog extends JDialog {
} }
} }
/**
* Replace newline character \n to an HTML newline. Instead of just using a <br> tag, we replace newlines with a
* paragraph tag with zero margin. This is so that when you copy the HTML text and paste it somewhere, that the
* HTML newlines are also interpreted as newlines in the new text. A <br> tag would just be replaced by a space.
* @param text text to be formatted
* @return text with HTML newlines
*/
private static String formatNewlineHTML(String text) {
return text.replaceAll("\n(.*?)(?=(\n|$))", "<p style=\"margin-top: 0\">$1</p>");
}
} }