Modifica: ho capito che non si trattava di Terminal specifico e ho trovato la risposta.
Questa barra degli strumenti / barra di scorrimento è apparso in modo permanente all'improvviso per qualche motivo, e mi piacerebbe nasconderlo, ma non riesco a trovare un'opzione per farlo?