<br><br><div><span class="gmail_quote"></span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br><br>Pour sawfish, je ne sais plus. C'était l'ancien window manager de Gnome, non ? Je sais pas si c'est toujours très compatible.
</blockquote><div><br>
oui oui, il y a même des débats sur ubuntu us au sujet du wm par défaut de gnome<br>
Isabella<br>
</div><br></div><br>