Posso encolher o painel lateral do gedit?

Question

A tela do meu laptop é bem pequena e o painel lateral do gedit não fica menor que cerca de 400 px. É um pouco exasperante, porque eu não posso ter outras janelas visíveis, se eu quiser usar qualquer coisa na barra lateral, porque se afasta o meu documento.

Existe um cenário em algum lugar que eu possa mexer para torná-lo menor? Eu olhei em todos os lugares que eu posso pensar por isso!

Eu posso arrastá-lo até a largura que você vê abaixo, mas não consigo arrastar mais do que isso.

    

Answer 1

Acabou sendo um plugin. (GDP Find)

Descobri isso desligando meus plugins um por um.