Come ingrandire e ridurre il testo in Gedit?

Sto usando Ubuntu 11.10. Questa sembra essere una domanda facile, ma non riesco a trovare una risposta da nessuna parte.

Su Ubuntu pre-unità, stavo usando il plugin gedit-zoom per ingrandire / rimpicciolire il testo nella finestra dell'editor, con Ctrl+ +/ -o tenendo premuto Ctrl+ rotellina del mouse . Lo stesso plugin non sembra funzionare in Ubuntu 11.10.

In che modo posso ottenere la funzionalità di zoom del testo?

11.10 gedit zoom

— Greg V.
fonte

La funzionalità sembra essere stata interrotta in 12.04. Ctrl + "-" e Ctrl + "0" funzionano, mentre Ctrl + "+" e Ctrl + rotellina del mouse no.

— Greg V.

Risposte:

v2screenshot

In Modifica → Preferenze → Plug-in , puoi selezionare la casella Dimensione testo e ingrandire con ctrl+ +.
- Fai clic su plugin gedit per installare i plugin Gedit.
- Puoi anche scaricare / installare manualmente il plug-in.
ctrl+ Trackpad scroll(su / giù) ti consente di ingrandire e rimpicciolire, non solo all'interno di gEdit, ma anche nel tuo browser web, file system ecc.

Entrambe le possibilità funzionano perfettamente in Ubuntu 11.10.

Informazioni di aggiornamento per Ubuntu 17.xx, 18.xx e successive, come suggerito da code_dredd - testato e funzionante:

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

— V2R
fonte

Non ho il plugin che hai citato qui.

— jokerdino

Puoi sempre installarlo (: Sai come ... va bene !?

— v2r

Questo è stato un suggerimento per dirti di aggiungere la parte sull'installazione del plugin. ;)

— jokerdino

Questi passaggi non funzionano più su Ubuntu 17.10. Il gedit-pluginspacchetto non include il gedit-plugin-text-sizepacchetto con esso. A questo punto è necessario installare il pacchetto manualmente: sudo apt-get install -y gedit-plugin-text-size.

— code_dredd,

@ v2r È meglio evitare alcune ipotesi :) A proposito, uno dei tuoi URL è rotto, e sarebbe utile se potessi aggiornare la tua risposta per riflettere i passaggi più recenti necessari per raggiungere questo obiettivo. Puoi vedere il mio commento precedente per quello.

— code_dredd,

inserisci qui la descrizione dell'immagine È possibile modificare la dimensione del carattere nel menu delle preferenze nella scheda caratteri

— vanjoe
fonte

Forse questo è l'unico modo "ufficiale". Ma siamo sempre alla ricerca del modo più veloce, no?

— Oki Erie Rinaldi,

Grazie ha funzionato per me dato che non ho il plugin! +1

— ocean800,

Non ho visto il "Text size"plugin nell'elenco dei plugin quando ho aperto Preferences->Pluginsanche dopo aver installato il gedit-pluginspacchetto (tramite apt install) e riavviato geditalcune volte. Quindi, ho scaricato manualmente il file deb corrispondente ( gedit-plugin-text-size_3.22.0-2_amd64.deb) dal launchpad ( http://launchpadlibrarian.net/335063179/gedit-plugin-text-size_3.22.0-2_amd64.deb ) per il mio Ubuntu 17.10 x86_64e lo ho installato, riavviato gedit e visto "Text size"plugin in seguito nell'elenco. L'ho abilitato e finalmente ho ottenuto la funzione di zoom in / out con mouse-scroll-wheelme molto necessaria.

Saluti.