Merge remote-tracking branch 'origin/master'

vsch · vsch · commit a9d217055839 · 2023-04-28T18:22:19.000-04:00
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);
