escape angle brackets in the description for the "Enter accepts comment" option in the settings

This commit is contained in:
shocoman
2022-09-02 15:34:05 +07:00
parent 2536099c0e
commit c262d3324a
@@ -86,7 +86,7 @@ public class CommentsPlugin extends Plugin implements OptionsChangeListener {
HelpLocation helpLocation = new HelpLocation(getName(), "Comments_Option");
options.setOptionsHelpLocation(helpLocation);
options.registerOption(OPTION_NAME, dialog.getEnterMode(), helpLocation,
"Toggle for whether pressing the <Enter> key causes the comment to be entered," +
"Toggle for whether pressing the &lt;Enter&gt; key causes the comment to be entered," +
" versus adding a new line character in the comment.");
setOptions(options);