Als «gedit» getaggte Fragen

2
Das Plugin für externe Gedit-Tools konnte nicht geladen werden

Ich hatte gedit mit einigen Plugins konfiguriert, aber nach dem Upgrade auf 13.10 erhalte ich jedes Mal, wenn ich die gedit-Plugins öffne und versuche, die externen Tools zu laden, die Meldung: Fehler beim Laden. Ich weiß nicht, wie ich das beheben soll. Neuinstallation versucht, aber das hat nicht...