This call will probably stop working with a future version of glib.
Pas de panique, ce n'est qu'un avertissement concernant un changement dans l'API. Ca n'a aucun impact sur le fonctionnement actuel de gnome-terminal. L'appel à g_settings_get sera modifé dans les prochaines versions par les développeurs si ce n'est pas déjà fait.
