Le lundi 15 janvier 2024, Jérôme a écrit :
> > Mais est-ce que ça pourrait être lié à une option, un thème, un style ou
> > je ne sais quel autre paramètre ?
>
> C'est pas impossible.
En fait, non, c'est le gestionnaire de fenêtre ; j'utilisais Moheli.
Certains permettent de redimensionner par le haut, d'autres non. Certains
permettent de redimensionner une fenêtre ayant été agrandi au max,
d'autres non.
--
Frédéric