Bagaimana memperbesar dan memperkecil teks di Gedit?

23

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
1
Fungsionalitas tampaknya rusak dalam 12,04. Ctrl + "-" dan Ctrl + "0" berfungsi, sedangkan Ctrl + "+" dan Ctrl + mousewheel tidak.
Greg V.

Jawaban:

27

v2screenshot

  1. Di bawah Edit → Preferensi → Plugin , Anda dapat mencentang kotak Ukuran Teks dan memperbesar dengan ctrl+ +.

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

masukkan deskripsi gambar di sini

v2r
sumber
1
Saya tidak memiliki plugin yang Anda sebutkan di sini.
jokerdino
Anda selalu dapat menginstalnya (: Anda tahu caranya..baik !
??
1
Itu adalah petunjuk untuk memberi tahu Anda untuk menambahkan bagian tentang menginstal plugin. ;)
jokerdino
6
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
1
@ 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
5

masukkan deskripsi gambar di siniAnda 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
1

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.


sumber