Di mana preferensi gedit?

Ini sangat aneh. Saya tidak melihat "preferensi" di salah satu menu gedit saya. Saya menjalankan Versi 3.8.3. Yang ingin saya lakukan adalah menunjukkan nomor baris, tetapi saya tidak bisa melakukannya tanpa preferensi.

Di mana sih mereka bersembunyi?

Catatan: Saya memang menghapus indicator-appmenuskarena saya tidak suka menu terlepas dari jendela.

Pembaruan 2015: entah bagaimana ini ditandai sebagai peniru dari Aktifkan nomor baris di gedit yang sedikit membingungkan. Solusinya sama tetapi pertanyaannya berbeda.

Saya tidak yakin cara preferenceskembali ke menu Anda, tetapi Anda dapat menggunakannya gsettingsuntuk menampilkan nomor baris. Masukkan perintah ini ke terminal:

gsettings set org.gnome.gedit.preferences.editor display-line-numbers true

Jika Anda perlu mengubah pengaturan lain untuk gedit, Anda dapat menggunakan perintah ini untuk menemukan beberapa yang tersedia: (terima kasih untuk jawaban ini )

gsettings list-recursively | grep -i gedit

jika Anda menggunakan GNOME 3, Anda dapat mengakses preferensi melalui menu atas.

Anda harus memiliki "kegiatan" di sudut kiri atas layar Anda. di sisi kanan kegiatan, Anda akan memiliki gedit. klik di atasnya, dan Anda akan melihat preferensi.

Untuk mendapatkan entri preferensi kembali ke menu edit, lakukan perintah berikut di terminal:

gsettings set org.gnome.settings-daemon.plugins.xsettings overrides '@a{sv} {"Gtk/ShellShowsAppMenu": <int32 0>}'

Masalahnya adalah hasil dari Gnome3 menempatkan entri menu preferensi ke menu atas.

Cukup ketik Alt+ E, lalu lagi Eketika Anda berada di gedit. Jendela baru yang disebut "Preferensi gedit" akan muncul.

Menghadapi masalah serupa ... mendapat opsi preferensi di bilah aktivitas di sudut kiri..Saya menggunakan gedit v3.22.1

pengaturan preferensi gedit

Anda mungkin perlu menggunakan alat tweak untuk mematikan sementara beberapa ekstensi umum yang biasa digunakan orang sekarang untuk membuat gnome 3 dapat digunakan di desktop. Bagi saya, saya harus mematikan taskbar dan ekstensi menu aplikasi. Maka seseorang dapat menggunakan metode yang dijelaskan oleh Buğra Koç di atas.

Ini berarti mudahnya menghidupkan dan mematikan nomor baris dan bungkus kata di gedit hilang.

Jika Anda tidak perlu menyorot teks Leafpad adalah pengganti yang baik untuk gedit. Sepertinya gedit yang lama:

sudo apt-get install leafpad

Di desktop saya, saya menemukannya di sini:

Preferensi sedang diedit di bagian bawah daftar.

Cobalah untuk mendapatkan kembali menu-bar, atau jika itu gagal menghapus seluruhnya dan menginstal contoh baru gedit, milik saya adalah 3.10.4, jadi milik Anda agak lama!

Saya tahu ini adalah utas lama, tetapi saya hanya mengalami masalah yang sama. Pada akhirnya, saya menemukan bahwa itu karena saya masih masuk sebagai pengguna super. Setelah saya keluar dari terminal dan membuka kembali terminal, semuanya kembali normal.

Hanya berpikir saya akan membuang itu di sana kalau-kalau ada orang lain yang mengalami masalah yang sama.

Jika Anda melihat # alih-alih $ di baris perintah Anda, ini kemungkinan mengapa Anda tidak dapat melihat default Anda.

Anda dapat mengakses pengaturan preferensi aplikasi apa pun dengan menginstal dconf-editor :

Derivatif Debian:

sudo apt install dconf-editor  

Turunan redhat:

sudo yum install dconf-editor # for Fedora replace yum with dnf

Kemudian buka dconf-editor

dconf-editor &>/dev/null &  

Klik ikon pencarian dan ketik geditatau ikuti jalan ini: org/gnome/gedit/preference/editor/display-line-number

Matikan nilai default dan buat nilai kustom true