- Modifié
Il y a un bug dans Ubuntu 20.04 et dans archlinux. Je ne suis pas sur qu'on le trouve sous Ubuntu 19.10 :
Dans le gestionnaire de paramètres (xfce4-settings-manager - chez moi c'est la version 4.14.2), on peut agrandir la largeur de la fenêtre, mais pas la rétrécir.
Pour corriger, il faut aller dans le fichier de config, où on modifiera le paramètre de largeur : mousepad ~/.config/xfce4/xfconf/xfce-perchannel-xml/xfce4-settings-manager.xml, puis réduire manuellement la largeur dans la ligne :
<property name="window-width" type="int" value="1000"/>.
Le bug a été créé ici en janvier, mais semble un peu laissé de côté. J'ai laissé un commentaire de confirmation. Si les gens concernés veulent bien aller sur la page et laisser un message, cela le réactivera sans doute.
Il faut créer un compte bugzilla pour cela, mais c'est très rapide.
Dans le gestionnaire de paramètres (xfce4-settings-manager - chez moi c'est la version 4.14.2), on peut agrandir la largeur de la fenêtre, mais pas la rétrécir.
Pour corriger, il faut aller dans le fichier de config, où on modifiera le paramètre de largeur : mousepad ~/.config/xfce4/xfconf/xfce-perchannel-xml/xfce4-settings-manager.xml, puis réduire manuellement la largeur dans la ligne :
<property name="window-width" type="int" value="1000"/>.
Le bug a été créé ici en janvier, mais semble un peu laissé de côté. J'ai laissé un commentaire de confirmation. Si les gens concernés veulent bien aller sur la page et laisser un message, cela le réactivera sans doute.
Il faut créer un compte bugzilla pour cela, mais c'est très rapide.