J'ai pas trouvé de fonction dans l'API GTK pour réduire l'interligne, il faudra que je vois dans la mailing list.

Sinon, j'ai mis sur http://www.lievin.net/downloads/lpg/ un build Linux et Windows de tiemu3nogdb avec le dock pour les intéressés/testeurs.