Skip to content

\PushDefaultHookLabel{.} #1162

@jlaurens

Description

@jlaurens

Brief outline of the bug

At the top level both \SetDefaultHookLabel{top-level}, \SetDefaultHookLabel{.} an \PushDefaultHookLabel{top-level} raise but not \PushDefaultHookLabel{.}

\documentclass{minimal}
\begin{document}
\PushDefaultHookLabel{.}
\PopDefaultHookLabel
\end{document}

lthooks from 2022/11/30

Metadata

Metadata

Assignees

Type

No type

Projects

Status

Pool (unscheduled issues)

Relationships

None yet

Development

No branches or pull requests

Issue actions