2024-05-22 17:06:17 -07:00
|
|
|
{{- page.Scratch.Set "highlightGroupAttrs" (printf "data-base-path=\"%s\" data-file-path=\"%v\"" .basePath .path) -}}
|
2024-05-21 20:39:28 -07:00
|
|
|
{{- if (or .firstLine .lastLine) -}}
|
2024-05-22 17:06:17 -07:00
|
|
|
{{- page.Scratch.Add "highlightGroupAttrs" (printf " data-first-line=\"%v\" data-last-line=\"%v\"" .firstLine .lastLine) -}}
|
2024-05-21 20:39:28 -07:00
|
|
|
{{- end -}}
|
2024-05-21 20:41:10 -07:00
|
|
|
{{- if eq .language "Agda" -}}
|
|
|
|
|
{{- page.Scratch.Add "highlightGroupAttrs" " data-agda-block" -}}
|
2024-05-21 20:39:28 -07:00
|
|
|
{{- end -}}
|
|
|
|
|
{{ partial "group.html" (dict "url" .url "path" .path "comment" .comment "content" (highlight .code .language .opts) "attrs" (page.Scratch.Get "highlightGroupAttrs")) }}
|
