From f297293207301cbf0e638c0b8822316bee1280e6 Mon Sep 17 00:00:00 2001
From: jochenberger <fooberger@gmail.com>
Date: Mon, 10 Oct 2022 11:53:02 +0200
Subject: [PATCH] Update CoreNodeRenderer.java

Render node ids if explicitly set
fixes #476
---
 .../com/vladsch/flexmark/html/renderer/CoreNodeRenderer.java    | 2 +-
 1 file changed, 1 insertion(+), 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
index 283c424db..be98061ab 100644
--- 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);