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 ( NUMBERdan POSITION) 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 POSITIONmendefinisikan 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 status POSITIONpada panel:
------------------------------------------------------------------
Activities Date Other icons
------------------------------------------------------------------
left center right
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 :
Gunakan Main.panel.addToStatusArea (unique_name_of_indicator, inidicator, posisi, kotak) untuk menambahkan SystemStatusButton atau PanelButton ke panel. Ini menangani penambahan menu untuk manajer menu untuk Anda (kotak adalah Main.panel ._ {kiri, kanan, tengah} Kotak, menghilangkan argumen kotak memberi kotak kanan secara default, dan posisi ommitting memberikan posisi 0). Jika tombol Anda hanya ButtonBox (yaitu tidak ada menu) maka tetap dengan. _ {kiri, kanan, tengah} Box.insert_child_at_index.
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":
- Fungsi yang harus Anda cari disebut
var enable = function (). Jadi mungkin lebih baik mencari kata enabledalam 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 enabledi dalam file ini. Kemudian cari yang seperti Main.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.jsdan ubah kata "kanan" menjadi "kiri" di dua baris:
Main.panel._addToPanelBox('dateMenu', dateMenu, -1, Main.panel._rightBox);dan Main.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
