• [^] # Re: onglets verticaux ?????

    Posté par . 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.