Est-ce juste moi ou les plugins gedit en 13.10 sont-ils incomplets?
La mise à jour s'est bien déroulée mais toutes mes sessions enregistrées de gedit en 13.04 ont disparu. J'essaie de comprendre si ceux-ci n'étaient tout simplement pas prêts pour les heures de grande écoute et ont été laissés de côté ou s'il s'agit d'un problème système. Lorsque je vais dans les plugins de préférences, je ne vois pas la session répertoriée comme plugin à activer.
voir ici concernant le plugin de session
https://git.gnome.org/browse/gedit-plugins/commit/?id=7abf46cf9c6e3f12798e813ffeac28e3594167f
Vous pourriez regarder cela si vous êtes enclin