Como aumentar e diminuir o zoom no texto no Gedit?

23

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?

Greg V.
fonte
1
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:

27

v2screenshot

  1. Em EditarPreferênciasPlugins , você pode marcar a caixa Tamanho do texto e ampliar com ctrl+ +.

    • Clique no gedit-plugins Instale os plugins gedit para instalar os plugins do Gedit.

    • Você também pode baixar / instalar manualmente o plug-in.

  2. 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

insira a descrição da imagem aqui

v2r
fonte
1
Eu não tenho o plugin que você mencionou aqui.
Jokerdino
Você sempre pode instalá-lo (: Você sabe .. certo !?
v2r 1/12/12
1
Essa foi uma dica para você adicionar a parte sobre a instalação do plugin. ;)
jokerdino
6
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
1
@ 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
5

insira a descrição da imagem aquiVocê 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
1

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.


fonte