Di mana preferensi gedit?

43

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.

configuration  gedit 
— Amanda
sumber
Apakah gEdit Anda memiliki ikon roda gigi di area bilah alat jendela utama?
— dobey
1
@ tidak, tidak, tidak.
— Amanda
Eeesh. @ vasa1 Ya. Mengedit Q saya
— Amanda
4
iwould ck di sini karena masalahnya adalah tidak ada pilihan menu preferensi askubuntu.com/questions/364117/enable-line-numbers-in-gedit/…
— doug
1
Apa yang berhasil adalah secara eksplisit mengatur nomor baris tanpa pengaturan gs. Mengatur org.gnome.gedit.preferences.editor menampilkan-line-number true `
— Amanda

Jawaban:

25

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
— OSE
sumber
11
tidak percaya mengapa gedit menjadi sangat sulit untuk digunakan hari ini ....
— BufBills
2
+1 karena jawaban ini valid untuk Gedit di GNOME 3.12 dan mungkin juga untuk rilis yang lebih baru. Gedit dalam rilis yang lebih baru tampaknya tidak memiliki dialog preferensi seperti yang dijelaskan di sini .
— clearkimura
37

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.

— Buğra Koç
sumber
Saya memang melihat preferensi, tetapi mengkliknya tidak memunculkan apa pun.
— Irfan
@ Power-Inside jika Anda memiliki menu teratas tetapi item menu "preferensi" tidak melakukan apa-apa, Anda mungkin ingin memulai pertanyaan baru.
— Amanda
1
ew! namun alasan lain bagi saya untuk tidak kembali ke gnome. mengapa memindahkan preferensi ke lokasi gaya mac ?? absurd
— jozxyqk
Itu membantu saya. Terima kasih! Saya menemukan banyak tips untuk mengakses melalui menu "edit", namun saya tidak dapat menemukan di Ubuntu GNOME 16.04 saya. Saya tidak dapat membayangkan bahwa itu pindah ke menu global.
— hata
2
meluncurkannya dengan sudo preferensi berada di bilah standar tiga, dan bukan bilah atas, dan preferensi dikunci (gedit 3.30 di bawah Arch)
— user1708042
15

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.

— pengguna5950
sumber
Terima kasih, ini adalah satu-satunya solusi yang bekerja untuk saya (menggunakan CentOS tetapi solusinya sama). Tidak percaya ini disembunyikan secara default !!
— crobicha
11

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

preferensi gedit

— Radu Rădeanu
sumber
3
Tidak ada dadu, aku takut.
— Amanda
@Amanda Saya menggunakan gedit 3.8.3 di Ubuntu 13.10 dan ini adalah bagaimana saya membuka preferensi di gedit. Saya membuat Anda juga gambar untuk membuktikan Anda.
— Radu Rădeanu
2
Saya percaya Anda, tetapi menu edit saya berakhir pada "Masukkan Tanggal dan Waktu"
— Amanda
@Amanda Anda juga dapat menggunakan gsettingsuntuk mengubah geditpengaturan.
— OSE
Ini berfungsi untuk saya:gsettings set org.gnome.gedit.preferences.editor display-line-numbers true
— OSE
1

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
— varanasib
sumber
0

Preferensi sedang diedit di bagian bawah daftar. masukkan deskripsi gambar di sini

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!

— Ken Mollerup
sumber
0

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.

— DocGil
sumber
Meskipun ini benar, itu tidak menjelaskan cara mengakses preferensi saat menggunakan geditdengan sudokekuatan pengguna super .
— WinEunuuchs2Unix
0

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

— Finn
sumber
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.