-
And |
Beta Was this translation helpful? Give feedback.
Answered by
SpartanJ
Jun 30, 2025
Replies: 1 comment 2 replies
-
Not possible to hide all these options, although this is really not useless, is the configuration of the current document and terminal, it's very important. Maybe you're referring to the label "Current Document"? But yeah, you cannot hide it. |
Beta Was this translation helpful? Give feedback.
2 replies
Answer selected by
Curculigo
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Not possible to hide all these options, although this is really not useless, is the configuration of the current document and terminal, it's very important. Maybe you're referring to the label "Current Document"? But yeah, you cannot hide it.