Merge pull request #534

Update CoreNodeRenderer.java
vsch · Apr 28, 2023 · 402dfa7 · 402dfa7
2 parents 2b676cc + f297293
commit 402dfa7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/flexmark/src/main/java/com/vladsch/flexmark/html/renderer/CoreNodeRenderer.java b/flexmark/src/main/java/com/vladsch/flexmark/html/renderer/CoreNodeRenderer.java
@@ -115,7 +115,7 @@ void render(Document node, NodeRendererContext context, HtmlWriter html) {
 
     @SuppressWarnings("MethodMayBeStatic")
     void render(Heading node, NodeRendererContext context, HtmlWriter html) {
-        if (context.getHtmlOptions().renderHeaderId) {
+        if (node.isExplicitAnchorRefId() || context.getHtmlOptions().renderHeaderId) {
             String id = context.getNodeId(node);
             if (id != null) {
                 html.attr("id", id);