Como aumentar e diminuir o zoom no texto no Gedit?

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?

11.10 gedit zoom

— Greg V.
fonte

A funcionalidade parece estar quebrada no 12.04. Ctrl + "-" e Ctrl + "0" funcionam, enquanto Ctrl + "+" e Ctrl + roda do mouse não.

— Greg V.

Respostas:

v2screenshot

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:

sudo apt-get install -y gedit-plugin-text-size

— v2r
fonte

Eu não tenho o plugin que você mencionou aqui.

— Jokerdino

Você sempre pode instalá-lo (: Você sabe .. certo !?

— v2r 1/12/12

Essa foi uma dica para você adicionar a parte sobre a instalação do plugin. ;)

— jokerdino

Essas etapas não funcionam mais no Ubuntu 17.10. O gedit-pluginspacote não inclui o gedit-plugin-text-sizepacote. Agora você tem que instalar o pacote manualmente: sudo apt-get install -y gedit-plugin-text-size.

— code_dredd

@ v2r É melhor evitar algumas suposições :) BTW, um dos seus URLs está quebrado e seria benéfico se você pudesse atualizar sua resposta para refletir as etapas mais recentes necessárias para fazer isso. Você pode olhar para o meu comentário anterior para isso.

— code_dredd

insira a descrição da imagem aqui Você pode alterar o tamanho da fonte no menu de preferências, na guia Fontes

— vanjoe
fonte

Talvez este seja o único caminho 'oficial'. Mas, estamos sempre procurando o caminho mais rápido, não estamos?

— Oki Erie Rinaldi

Graças isso funcionou para mim desde que eu não tenho o plugin! 1

— ocean800 15/07/2017

Não vi o "Text size"plug-in na lista de plug-ins quando abri, Preferences->Pluginsmesmo depois de instalar o gedit-pluginspacote (via apt install) e reiniciar geditalgumas 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 meu Ubuntu 17.10 x86_64e 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 que mouse-scroll-wheeleu precisava.

Felicidades.