Il a toujours la même taille et c'est chiant. Dans le même ordre d'idées, la taille de la console qui apparait en bas quand on presse F4 est toujours la même, et c'est inconfortable : on voit 4 lignes... Comment faire pour que la taille de cet élément soit conservée lors de la fermeture de Dolphin ?
