-
Notifications
You must be signed in to change notification settings - Fork 407
Include \begin{document} and \end{document} in section navigation #3127
Description
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.