From 1d945f3e08fbfffa0c7ea0dec9ac690599e83c96 Mon Sep 17 00:00:00 2001 From: Pedro Castro Date: Wed, 31 Jan 2024 21:09:26 -0300 Subject: [PATCH] add anchor id as parameter on heading element --- src/components/Markdown.res | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/components/Markdown.res b/src/components/Markdown.res index 612937916..e5792f9e5 100644 --- a/src/components/Markdown.res +++ b/src/components/Markdown.res @@ -136,7 +136,7 @@ module H2 = { @react.component let make = (~id, ~children) => <> // Here we know that children is always a string (## headline) -

+

children @@ -148,7 +148,7 @@ module H2 = { module H3 = { @react.component let make = (~id, ~children) => -

+

children @@ -159,7 +159,7 @@ module H3 = { module H4 = { @react.component let make = (~id, ~children) => -

+

children @@ -171,6 +171,7 @@ module H5 = { @react.component let make = (~id, ~children) =>
children