Estou usando o Ubuntu 11.10. Esta parece ser uma pergunta fácil, mas não consigo encontrar uma resposta em lugar algum.
No Ubuntu anterior à unidade, eu estava usando o plug-in gedit-zoom para aumentar / diminuir o texto na janela do editor, com Ctrl+ +/ -, ou segurando Ctrl+ rolando a roda do mouse . O mesmo plugin não parece funcionar no Ubuntu 11.10.
Existe alguma maneira de obter o recurso de zoom de texto?
Respostas:
Em Editar → Preferências → Plugins , você pode marcar a caixa Tamanho do texto e ampliar com ctrl+ +.
Clique no gedit-plugins para instalar os plugins do Gedit.
Você também pode baixar / instalar manualmente o plug-in.
ctrl+ Trackpad scroll(para cima / para baixo) permite ampliar e reduzir também, não apenas no gEdit, mas também no navegador da web, no sistema de arquivos etc.
Ambas as possibilidades funcionam bem no Ubuntu 11.10.
Atualize as informações do Ubuntu 17.xx, 18.xx e posterior, conforme sugerido por code_dredd - testado e funciona:
fonte
gedit-plugins
pacote não inclui ogedit-plugin-text-size
pacote. Agora você tem que instalar o pacote manualmente:sudo apt-get install -y gedit-plugin-text-size
.Você pode alterar o tamanho da fonte no menu de preferências, na guia Fontes
fonte
Não vi o
"Text size"
plug-in na lista de plug-ins quando abri,Preferences->Plugins
mesmo depois de instalar ogedit-plugins
pacote (viaapt install
) e reiniciargedit
algumas vezes. Então, baixei manualmente o arquivo deb correspondente (gedit-plugin-text-size_3.22.0-2_amd64.deb
) da barra de ativação ( http://launchpadlibrarian.net/335063179/gedit-plugin-text-size_3.22.0-2_amd64.deb ) para o meuUbuntu 17.10 x86_64
e o instalei, reiniciei o gedit e vi o"Text size"
plugin posteriormente na lista. Habilitei e finalmente obtive o recurso de mais / menos zoom com o quemouse-scroll-wheel
eu precisava.Felicidades.
fonte