Bagaimana memperbesar dan memperkecil teks di Gedit?

Saya menggunakan Ubuntu 11.10. Ini sepertinya pertanyaan yang mudah, namun saya tidak dapat menemukan jawaban di mana pun.

Pada Ubuntu pre-unity, saya menggunakan plugin gedit-zoom untuk memperbesar teks di jendela editor in / out, baik dengan Ctrl+ +/ -, atau dengan menahan Ctrl+ scroll-wheel mouse . Plugin yang sama tampaknya tidak berfungsi di Ubuntu 11.10.

Bagaimana saya bisa mendapatkan kemampuan pembesaran teks?

11.10 gedit zoom

— Greg V.
sumber

Fungsionalitas tampaknya rusak dalam 12,04. Ctrl + "-" dan Ctrl + "0" berfungsi, sedangkan Ctrl + "+" dan Ctrl + mousewheel tidak.

— Greg V.

Jawaban:

v2screenshot

Di bawah Edit → Preferensi → Plugin , Anda dapat mencentang kotak Ukuran Teks dan memperbesar dengan ctrl+ +.
- Klik pada plugin gedit untuk menginstal plugin Gedit.
- Anda juga dapat mengunduh / menginstal plugin secara manual .
ctrl+ Trackpad scroll(atas / bawah) memungkinkan Anda, untuk memperbesar dan memperkecil juga, tidak hanya dalam gEdit, tetapi juga di Webbrowser Anda, Sistem File dll.

Kedua kemungkinan berfungsi dengan baik di Ubuntu 11.10.

Perbarui informasi untuk Ubuntu 17.xx, 18.xx dan yang lebih baru, seperti yang disarankan oleh code_dredd - diuji dan berfungsi:

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

— v2r
sumber

Saya tidak memiliki plugin yang Anda sebutkan di sini.

— jokerdino

Anda selalu dapat menginstalnya (: Anda tahu caranya..baik !

— ??

Itu adalah petunjuk untuk memberi tahu Anda untuk menambahkan bagian tentang menginstal plugin. ;)

— jokerdino

Langkah-langkah ini tidak lagi berfungsi di Ubuntu 17.10. The gedit-pluginspaket tidak tidak termasuk gedit-plugin-text-sizepaket dengan itu. Anda sekarang harus menginstal paket secara manual: sudo apt-get install -y gedit-plugin-text-size.

— code_dredd

@ v2r Lebih baik menghindari beberapa asumsi :) BTW, salah satu URL Anda rusak, dan akan bermanfaat jika Anda dapat memperbarui jawaban Anda untuk mencerminkan langkah-langkah terbaru yang diperlukan untuk mencapai hal ini. Anda dapat melihat komentar saya sebelumnya untuk itu.

— code_dredd

masukkan deskripsi gambar di sini Anda dapat mengubah ukuran font di menu preferensi di bawah tab font

— Vanjoe
sumber

Mungkin ini satu-satunya cara 'resmi'. Tapi, kita selalu mencari cara tercepat, bukan?

— Oki Erie Rinaldi

Terima kasih ini bekerja untuk saya karena saya tidak punya plugin! +1

— ocean800

Saya tidak melihat "Text size"plugin dalam daftar plugin ketika saya membuka Preferences->Pluginsbahkan setelah menginstal gedit-pluginspaket (via apt install) dan restart geditbeberapa kali. Jadi, saya mengunduh secara manual file deb yang sesuai ( gedit-plugin-text-size_3.22.0-2_amd64.deb) dari launchpad ( http://launchpadlibrarian.net/335063179/gedit-plugin-text-size_3.22.0-2_amd64.deb ) untuk saya Ubuntu 17.10 x86_64dan menginstalnya, me-restart gedit dan melihat "Text size"plugin setelah itu dalam daftar. Mengaktifkannya dan akhirnya mendapatkan fitur zoom-in / out dengan mouse-scroll-wheelsaya sangat dibutuhkan.

Tepuk tangan.