Urutan widget ekstensi shell tampaknya acak, bagaimana saya bisa mengubahnya? Saya ingin memiliki informasi tanggal / waktu di sebelah kiri misalnya.
Panel shell saya:
Urutan widget ekstensi shell tampaknya acak, bagaimana saya bisa mengubahnya? Saya ingin memiliki informasi tanggal / waktu di sebelah kiri misalnya.
Panel shell saya:
Jawaban:
Jalan umum:
Untuk mulai dengan Anda harus menemukan file sesuai ekstensi yang ingin Anda ubah.
Anda biasanya dapat menemukannya di sini:
~/.local/share/gnome-shell/extensions
.Jika ekstensi telah diinstal melalui pengelola paket, Anda dapat menemukannya di sini:
/usr/share/gnome-shell/extensions/
(Terima kasih kepada AB )Lalu masuk ke direktori ekstensi dan buka "
extension.js
" dengan editor teks apa saja.Pergi ke baris dengan:
function enable()
(gunakan fungsi pencarian di editor Anda - jika Anda tidak dapat menemukannya, pergi ke bagian Perbarui lebih jauh ke bawah).Di dalam fungsi ini biasanya ada satu baris
Main.panel.addToStatusArea('NAME', _OTHERNAME, NUMBER, LEFT/CENTER/RIGHT);
(Lagi: Jika Anda tidak dapat menemukannya, pergi ke Perbarui ). Bisa terjadi bahwa dua parameter terakhir (NUMBER
danPOSITION
) hilang; terlihat seperti ini:Main.panel.addToStatusArea('NAME', _OTHERNAME);
(Jangan khawatir! Komputer Anda mengartikan versi yang lebih pendek dengan:
('NAME', _OTHERNAME, 0, right);
Jangan ragu untuk menambahkan parameter yang hilang. Tapi selalu dalam urutan yang ditunjukkan !!! )The
POSITION
mendefinisikan mana pada panel ikon seharusnya. Ada tiga area: kiri , tengah dan kanan . Anda mungkin tidak ingin mengubah nilai ini tetapi merasa bebas untuk melakukannya. Berikut adalah tiga kemungkinan statusPOSITION
pada panel:Nilai yang lebih penting yang mungkin ingin Anda ubah adalah
NUMBER
. Ini mendefinisikan urutan ikon di dalam sub-panel. Nilai yang mungkin adalah:0 : Saya tidak peduli di mana ikonnya berada.
nilai negatif : posisi; mulai dari sisi kanan (bisa jadi penting karena semua ikon ekstensi dimuat setelah ikon sistem)
nilai positif : posisi; mulai dari sisi kiri. Nilai yang lebih tinggi akan ditempatkan lebih jauh ke sisi kanan.
Anda harus bermain-main dengan nilai-nilai itu di semua ekstensi Anda karena nilai yang sama bertentangan satu sama lain (dua ekstensi berbeda pada posisi 2 tidak masuk akal). Dan terkadang bahkan mengikuti konflik nilai.
Setiap kali Anda mengubah nilai, pastikan untuk menyimpan file. Lalu tekan Alt+ F2, ketik rdan Enter. Panel akan menyegarkan dengan ikon yang baru dipesan. Ini adalah opsi cepat untuk bermain-main dengan nilai-nilai itu.
Terakhir kutipan dari Kopi Matematika :
Tolong beri tahu saya jika Anda memiliki masalah dengan pendekatan ini.
Memperbarui:
Saya telah melihat sekeliling dan saya menyadari bahwa cara ini tidak berfungsi untuk semua ekstensi (kebanyakan hanya untuk ekstensi sederhana / baru). Ekstensi yang sering digunakan dalam hal ini adalah "monitor sistem". Cara memodifikasi posisi ikon harus (umumnya) sama (saya belum mengujinya. Jadi pastikan untuk membuat file cadangan) . Tetapi ada beberapa perbedaan untuk "monitor sistem":
var enable = function ()
. Jadi mungkin lebih baik mencari kataenable
dalam file.Tempat di mana posisi ikon didefinisikan disebut
Main.panel._addToPanelBox('system-monitor', tray, 1, panel);
. Mengubah nomor harus memiliki efek yang sama seperti yang dijelaskan di atas. Untuk mengubah seluruh area Anda memiliki dua opsi:Dengan mengubah baris yang sama ke
Main.panel._addToPanelBox('system-monitor', tray, 1, Main.panel._rightBox);
(Catatan: Posisi di menu pengaturan ekstensi tidak akan berfungsi lagi).Atau dengan mengubah baris
let panel = Main.panel._rightBox;
(sekali lagi gunakan fungsi pencarian) ke posisi yang Anda inginkan ( _leftBox, _centerBox, _rightBox ).(Langkah-langkah ini dapat diterapkan untuk ekstensi lain. Tetapi akan ada nama yang sedikit berbeda. Tapi tetap saja: Cara umum dijelaskan dalam upaya pertama saya untuk jawaban ini)
Singkatnya, prosedur singkatnya:
Cari file yang sesuai. Kemudian cari
enable
di dalam file ini. Kemudian cari yang sepertiMain.panel...
dan ubah nilainya (cukup jelas).Dan akhirnya saya perhatikan bahwa Anda menyebutkan panel waktu. Saya tidak menemukan cara yang baik untuk mengubah posisinya tetapi di sini ada sesuatu yang lain:
Anda telah menginstal "monitor sistem". Itu bagus :)
Buka yang sesuai
extension.js
dan ubah kata "kanan" menjadi "kiri" di dua baris:Main.panel._addToPanelBox('dateMenu', dateMenu, -1, Main.panel._rightBox);
danMain.panel._rightBox.insert_child_at_index(dateMenu.actor, -1);
.Akhirnya Anda harus memeriksa "move clock" di pengaturan ekstensi ini. Ini dia! Saya belum mengujinya tetapi harus bekerja. Jika tidak, tulis komentar :)
Ahh! Lupa menyebutkan: Setiap kali Anda mengubah nilai, simpan file dan segarkan panel dengan Alt+ F2tipe r-hit Enter. Dan pastikan untuk membuat file cadangan !!! : D
sumber
/usr/share/gnome-shell/extensions/
The Memperpanjang Panel menu ekstensi akan membiarkan Anda menyortir indikator dengan "Baki offset" fitur dan tab Indikator. Setelah menginstal ekstensi, masuk ke pengaturan untuk mengubah indikator Anda. Selamat OCDing!
sumber
Ada juga cara yang lebih mudah untuk hanya membuka
gnome-tweak-tool
, meramban ke tab Ekstensi , lalu mematikan ekstensi dan menghidupkan lagi. Melakukan ini memindahkan ikon ke kiri.sumber
off
danon
...?