• [^] # GTK 3: plus de support du gestionnaire de session

    Posté par (site web personnel) . En réponse à la dépêche Firefox 47, version de transition. Évalué à 10.

    Le passage a GTK3 a provoqué la fin d'une fonctionnalité majeure (et pour moi quasi-indispensable) de Firefox sous Linux: le navigateur ne parle plus avec le gestionnaire de session. Et donc quand on ferme sa session X-Window, le process sera juste tué sans ménagement (avec un signal).

    Quand GTK2 était utilisé, Firefox regardait (dynamiquement) si libgnomeui était présent, et si c'est le cas il enregistrait le process auprès du gestionnaire de session (libgnomeui propose des fonctions de haut niveau pour ça). À la fin de la session, le gestionnaire de session signale à chaque programme qu'il doit se terminer (et sauver son état) et lui donne un peu de temps pour le faire.

    Donc sans cette gestion, à chaque démarrage j'ai le droit à l'onglet « restauration de session ». Pire: les extensions qui utilise simple-storage pour sauver leurs données peuvent perdre celles-ci (la sauvegarde sur disque se fait uniquement automatiquement à la fermeture du navigateur).

    Pour ne rien aider, les signaux Unix ne sont pas supportés par Firefox...