Skip to content
Discussion options

You must be logged in to vote

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.

Replies: 1 comment 2 replies

Comment options

You must be logged in to vote
2 replies
@bejolly407
Comment options

@SpartanJ
Comment options

Answer selected by bejolly407
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants