Cinnamon: La réinitialisation aux valeurs par défaut dans les paramètres des applets ne prend pas effet

Il réinitialise en fait les paramètres de la fenêtre, ils ne prennent tout simplement pas effet.

Bonjour, g @ ys.

J'ai essayé de résoudre ce problème, mais sans succès (cela s'est avéré être hors de ma ligue).

Pour donner plus de détails au (x) problème (s).

• Après avoir réinitialisé les paramètres à leurs valeurs par défaut, la fenêtre des paramètres reflète les modifications et le fichier de paramètres pour cette instance de paramètres est modifié et enregistré. Le xlet ne reflète pas ces changements à moins que Cinnamon ne soit redémarré.
• Quelque chose de similaire se produit lors de l'importation à partir d'un fichier de paramètres exporté. Les valeurs importées seront reflétées dans la fenêtre des paramètres, mais la xlet ne sera pas affectée par ces nouveaux paramètres. Le redémarrage de Cinnamon fera que le xlet lira le fichier de paramètres et reflétera les nouvelles valeurs.

Je pense que le problème réside dans les fixations des paramètres.

• Actuellement, sur Cinnamon 3.0.7, tous les fichiers de paramètres sont constamment surveillés. Si l'on modifie manuellement un paramètre dans un fichier de paramètres, cela prendra effet immédiatement sur la xlet, mais la fenêtre de configuration ne sera pas au courant de ce changement.
• Mais dans Cinnamon 3.2.x, les fichiers de paramètres ne sont contrôlés que lorsque la fenêtre de paramètres est ouverte. Si l'on change une valeur de paramètre manuellement sur un fichier de paramètres, le changement de paramètre est immédiatement reflété dans la fenêtre des paramètres, mais pas dans le xlet.

Oh, je pense que je pourrais savoir ce qui se passe. Je suppose que je ne me souciais pas d'envoyer des signaux de la fenêtre des paramètres à la cannelle parce que j'avais à l'origine un moniteur de fichiers dans settings.js . Cependant, en raison de https://github.com/linuxmint/Cinnamon/commit/864f632aeca48099a563aa0a8c66387d866b423e , il n'y a plus de moniteur de fichiers dans settings.js, il n'est donc pas mis à jour. Je ne travaille pas cette semaine après-demain (en raison des vacances), je devrais donc être en mesure de résoudre ce problème plus tard cette semaine.