File tree Expand file tree Collapse file tree 1 file changed +2
-1
lines changed
jabgui/src/main/java/org/jabref/gui/util Expand file tree Collapse file tree 1 file changed +2
-1
lines changed Original file line number Diff line number Diff line change 42
42
import com .vladsch .flexmark .util .ast .VisitHandler ;
43
43
import com .vladsch .flexmark .util .data .MutableDataSet ;
44
44
import org .jspecify .annotations .NonNull ;
45
+ import org .jspecify .annotations .Nullable ;
45
46
46
47
public class MarkdownTextFlow extends SelectableTextFlow {
47
48
private static final String BULLET_LIST_PATTERN = "^\\ s*[-*•]\\ s+$" ;
@@ -73,7 +74,7 @@ public void setMarkdown(@NonNull String markdownText) {
73
74
renderer .render (parser .parse (markdownText ));
74
75
}
75
76
76
- private void addTextNode (String content , Node astNode , String ... styleClasses ) {
77
+ private void addTextNode (@ Nullable String content , Node astNode , String ... styleClasses ) {
77
78
if (content == null || content .isEmpty ()) {
78
79
return ;
79
80
}
You can’t perform that action at this time.
0 commit comments