Skip to content

Include \begin{document} and \end{document} in section navigation #3127

@firubat

Description

@firubat

Is your feature request related to a problem? Please describe it.
A lot of times I like to jump from the beginning of the file past the preamble to the \begin{document}, or when I'm browsing through the file by sections via [[ and ]], I'd like that if I reach the first section (maybe without realizing it is the first), the next jump back via [[ would bring me to \begin{document} rather than the head of the file.

I think that conceptually it makes sense include the beginning and end of the document in the "section jump sequence".

Describe the solution you'd like

  • If I'm before \begin{document}, let ]] bring me to it.
  • If I'm between \begin{document} and the first section, have [[ bring me to \begin{document}
  • Similarly with \end{document}

Describe alternatives you've considered
I know in some cases I can use the "environment navigation" to get to \begin{document} with the same amount of keystrokes, but I think both conceptually and practically, having a uniform key for these operations makes sense.

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions