fix(gui): correct html render in comments search results

This commit is contained in:
Skylot
2022-11-15 13:53:48 +00:00
parent 28e5a3c5be
commit 22ed241d50
@@ -5,6 +5,7 @@ import java.util.Objects;
import javax.swing.Icon;
import org.fife.ui.rsyntaxtextarea.SyntaxConstants;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
import org.slf4j.Logger;
@@ -197,7 +198,7 @@ public class CommentSearchProvider implements ISearchProvider {
@Override
public String getSyntaxName() {
return node.getSyntaxName();
return SyntaxConstants.SYNTAX_STYLE_NONE; // comment is always plain text
}
@Override
@@ -220,6 +221,11 @@ public class CommentSearchProvider implements ISearchProvider {
return node.makeLongStringHtml();
}
@Override
public boolean disableHtml() {
return node.disableHtml();
}
@Override
public int getPos() {
return node.getPos();