Retourner au contenu associé (dépêche : Quel terminal pour 2018 ?)
Posté par KiKouN le 19 avril 2018 à 12:20. En réponse à la dépêche Quel terminal pour 2018 ?. Évalué à 3.
Bon, au final, j'ai modifié le code de xfce4-terminal :
diff --git a/terminal/terminal-screen.c b/terminal/terminal-screen.c index c2069d5..ed25c4a 100644 --- a/terminal/terminal-screen.c +++ b/terminal/terminal-screen.c @@ -1424,13 +1424,14 @@ terminal_screen_update_label_orientation (TerminalScreen *screen) } else { - angle = position == GTK_POS_LEFT ? 90.0 : 270.0; + //~ angle = position == GTK_POS_LEFT ? 90.0 : 270.0; + angle = 0.0; ellipsize = PANGO_ELLIPSIZE_NONE; gtk_widget_set_halign (screen->tab_label, GTK_ALIGN_CENTER); gtk_widget_set_valign (screen->tab_label, GTK_ALIGN_START); /* set a minimum height of 30px, because ellipsize does not work */ - gtk_widget_set_size_request (screen->tab_label, -1, 30); + gtk_widget_set_size_request (screen->tab_label, -1, 20); } gtk_label_set_angle (GTK_LABEL (screen->tab_label), angle);
... et modifié l'option MiscTabPosition en GTK_POS_LEFT dans ~/.config/xfce4/terminal/terminalrc.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: onglets verticaux ?????
Posté par KiKouN . En réponse à la dépêche Quel terminal pour 2018 ?. Évalué à 3.
Bon, au final, j'ai modifié le code de xfce4-terminal :
... et modifié l'option MiscTabPosition en GTK_POS_LEFT dans ~/.config/xfce4/terminal/terminalrc.