Skip to content

Merge @ChapterLabel, @SectionLabel, @SubsectionLabel into @Label ? #222

Description

@fingolfin

Why do we need separate commands like @ChapterLabel? Why can't we just use @Label, and it'll apply to the current section?

I just tried that (by accident, I forgot about @SubsectionLabel, and did this:

#! @Chapter Methods for recognition
#! @Section Methods for permutation groups
#! @Subsection Giant
#! @SubsectionLabel Giant
#! bla bla bla bla

Not only did this not set the label, it actually caused the whole subsection to disappear (which I guess is a bug).

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions