Estou usando o Ubuntu 11.10. Essa parece ser uma pergunta fácil, mas não consigo encontrar uma resposta em lugar algum.
No Ubuntu pré-unidade, eu estava usando o plugin gedit-zoom para ampliar o texto na janela do editor in / out, com Ctrl + + / - , ou pressionando Ctrl + rolando a roda do mouse . O mesmo plugin parece não funcionar no Ubuntu 11.10.
De alguma forma, posso obter o recurso de zoom de texto?
Em Editar → Preferências → Plug-ins , marque a caixa Tamanho do texto e aumente o zoom com < kbd> ctrl + + .
Clique em gedit-plugins para instalar os plugins do Gedit.
Você também pode manualmente baixar / instalar o plug-in.
ctrl + Rolagem do trackpad (para cima / baixo) permite-lhe ampliar e reduzir também, não apenas no gEdit, mas também no seu navegador , Sistema de arquivos, etc.
Ambas as possibilidades funcionam bem no Ubuntu 11.10.
Você pode alterar o tamanho da fonte no menu de preferências na guia de fontes
Eu não vi "Text size" plugin na lista dos plugins quando eu
abriu Preferences->Plugins mesmo depois de instalar gedit-plugins package (via apt install ) e reiniciando gedit algumas vezes. Então, eu baixei manualmente o arquivo deb correspondente ( gedit-plugin-text-size_3.22.0-2_amd64.deb ) de
o launchpad ( link ) para o meu Ubuntu 17.10 x86_64 e instalei,
reiniciei o gedit e vi o plugin "Text size" depois disso na lista.
Ativado e finalmente obtive o recurso de zoom in / out com mouse-scroll-wheel muito necessário.
Felicidades.