mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 22:09:38 +07:00
feat(IDEA-353092): early markdown jdoc support
GitOrigin-RevId: 8c02012551f1a97d3f5d6aed021889911b138b28
This commit is contained in:
committed by
intellij-monorepo-bot
parent
dc5c78e7f9
commit
3825899d51
@@ -3025,7 +3025,8 @@ public final class HighlightUtil {
|
||||
|
||||
static HighlightInfo.Builder checkUnclosedComment(@NotNull PsiComment comment) {
|
||||
if (!(comment instanceof PsiDocComment) && comment.getTokenType() != JavaTokenType.C_STYLE_COMMENT) return null;
|
||||
if (!comment.getText().endsWith("*/")) {
|
||||
String text = comment.getText();
|
||||
if (text.startsWith("/*") && !text.endsWith("*/")) {
|
||||
int start = comment.getTextRange().getEndOffset() - 1;
|
||||
int end = start + 1;
|
||||
String description = JavaErrorBundle.message("unclosed.comment");
|
||||
|
||||
Reference in New Issue
Block a user