Jawaban:
Tampaknya tidak didukung saat ini, lihat laporan bug hulu ini .
Namun, Anda bisa membuat pembungkus untuk gedit, yang menetapkan plugin spesifik yang Anda inginkan melalui gconftool-2.
Ini akan terlihat seperti:
#!/bin/bash
old_config=$(gconftool-2 --get "/apps/gedit-2/plugins/active-plugins")
gconftool-2 --set --type list --list-type string "/apps/gedit-2/plugins/active-plugins" "[$1]"
gedit
gconftool-2 --set --type list --list-type string "/apps/gedit-2/plugins/active-plugins" "$old_config"
Sekarang simpan ini di suatu tempat sebagai contoh. gedit_profile dan membuatnya dapat dieksekusi:
chmod +x gedit_profile
Untuk memuat profil yang berbeda, sebut saja dengan daftar plugin yang dipisahkan koma yang ingin Anda aktifkan, misalnya:
/path/to/gedit_profile "terminal,colorpicker"
[Tentu saja Anda kemudian dapat menempatkan ini ke peluncur terpisah.]
External Tools
item menu (dengan tombol pintas opsional) mungkin cocok (Alat Eksternal adalah plugin standar). .. Saya tertarik dengan ini karena saya suka ide dua contoh gedit dengan pengaturan warna yang berbeda, tapi saya tidak berpikir bahwa gedit memungkinkan instance concurrernt :(