Tab Terminal Gnome jelek dan kebesaran

24

Baik terminal gnome dan terminator (yang saya gunakan di laptop saya hari ini) dapat dikustomisasi agar terlihat sangat cantik. Dengan menggunakan layar penuh dan menjaga desktop tetap berantakan seminimal mungkin untuk mendapatkan area berukuran baik untuk bekerja, bahkan pada EeePC kecil saya.

Namun, ada satu elemen yang sepertinya tidak bisa saya kendalikan. Tab Gnome berukuran sangat besar dan jelek. Mereka sama sekali tidak cocok dengan tema yang terlihat konyol, tetapi bagi saya masalah terbesar adalah layar real estat yang terbuang. Pada layar laptop kecil khususnya, ini adalah masalah nyata.

Apakah ada cara untuk mengubah tab ini? Saya menyadari bahwa mungkin untuk menempatkan mereka di sisi jendela, tetapi kemudian mereka mengambil lebih banyak ruang!

Jika ini tidak memungkinkan dengan konfigurasi theme-ing atau gnome, apakah ada program terminal seperti terminator yang dapat menangani tab sendiri? (Idealnya dengan cara yang lebih elegan!)

teks alternatif

command-line gnome-terminal terminator

— Adamnfish
sumber

2

Sebenarnya, tabnya cocok dengan tema Gtk yang Anda gunakan, karena itu adalah tema yang melukisnya seperti itu. Dimungkinkan untuk mengganti tema untuk 1 aplikasi (lihat manual bertema Gtk / cara-cara untuk melakukannya). Dugaan saya adalah bahwa tombol tutup membuat tab agak tinggi.

— JanC

Masalahnya dijelaskan dengan baik di sini old.nabble.com/...

— Aleksandr Levchuk

adamnfish, +1 untuk pertanyaan tapi saya sarankan menghapus tanda saran Layar sebagai jawaban yang benar. Layar GNU

— berguncang

-1

Coba screen.

Buat "tab" berbeda dengan Ctrl-a c dan beralih di antara mereka dengan Ctrl-a Ctrl-a(untuk beralih ke jendela yang ditampilkan sebelumnya) atau langsung dengan Ctrl-a <number of tab>(untuk beralih ke nomor jendela "nomor tab").

Ctrl-a " menyajikan daftar semua jendela untuk seleksi.

Untuk informasi lebih lanjut, lihat man screen.

— mengibaskan
sumber

2

Atau bahkan byobu, yang persis seperti layar, tetapi disajikan dalam Technicolor® ;-)

— Stefano Palazzo

Ya, saya sadar saya bisa menggunakan layar, tetapi saya biasanya menggunakan emacs dan saya lebih suka tidak kehilangan ctrl + a, misalnya. Saya mungkin akhirnya turun rute ini dengan menyesuaikan layar tetapi bagus memiliki kontrol tab konsisten dengan sisa OS jadi jika ada cara untuk mengurangi padding pada tab gnome saya lebih suka itu!

— adamnfish

1

@adamnfish: Anda dapat mengkonfigurasi pintasan awalan layar ke hal lain.

— JanC

5

-1 Terkadang saya perlu menggunakan layar, terkadang saya perlu menggunakan tab. Saya ingin keduanya terlihat bagus.

— Aleksandr Levchuk

3

Saya akan merekomendasikan tmuxlebih screen: lebih baik (imo) windows ( 'tab') dan 'panel' (vertikal dan horisontal layar membelah (saya menjalankan. emacsDalam sebuah tmuxsesi khusus).

— jon

6

Seperti yang ditunjukkan oleh JanC, terminatorgunakan tema gtk default pada sistem Anda. Memang benar bahwa masalahnya dapat diselesaikan dengan meletakkan close_button_on_tab = False~ / .config / terminator / config Anda, Anda juga dapat mengubah tema gtk. Atau, Anda dapat menentukan pengaturan gtk khusus untuk terminator. Untuk melakukannya, tambahkan baris berikut ke gtkrcfile Anda :

style "notebook" = "default"
{
    xthickness = 0
    ythickness = 0
}

widget_class "terminator*.GtkNotebook"       style "notebook"
class "terminator*.GtkNotebook"              style "notebook"

Perhatikan bahwa Anda memodifikasi widget Gtk standar yang disebut "GtkNotebook". Inilah yang bertanggung jawab atas tab. Jika Anda ingin ini berfungsi di setiap aplikasi (bukan hanya terminator), gunakan sebaliknya:

widget_class "*GtkNotebook"       style "notebook"
class "*GtkNotebook"              style "notebook"

Ini kemudian akan mempengaruhi semua aplikasi. Untuk mengubah warna teks pada tab, gunakan:

style "notebook_maybelabel" = "default"
{ 
   fg[NORMAL]        = "#0000AA"
   text[NORMAL]        = "#0000AA"
}

widget_class "terminator*.GtkNotebook*"       style "notebook_maybelabel"
class "terminator*.GtkNotebook*"              style "notebook_maybelabel"

Saya bukan ahli Gtk, dan saran ini mungkin mengandung kesalahan.

— pengguna20645
sumber

3

lihat urxvt. Salah satu alasan utama saya pindah ke sana adalah cara terbaik menangani tab.

Tambahkan ini ke .Xdefaults Anda

 URxvt.perl-ext-common:  default,tabbed,matcher

— Rick
sumber

3

Mungkin melalui file konfigurasi GTK CSS. Buat ~/.config/gtk-3.0/gtk.cssmaka Anda akan dapat menambahkan beberapa pemilih CSS dan atributnya. Ada beberapa contoh yang baik: Hapus bazel lemak jelek dari gnome-terminal dengan banyak-tab

— sinar
sumber