vala, avec un petit script j'arrive à mettre automatiquement le panel de droite en mode "miniatures" et le panel de gauche en mode "tree". Mais vala, plutot que d'avoir le séparateur au milieu (soit à 50%), j'aimerais le mettre automatiquement à environ à 20% à gauche.
Si quelqu'un ici sait comment je pourrais faire .....
Merci
![Smile :)](./images/smilies/icon_smile.gif)