JEdit

Probleme bei der Installation von Plugins

Wenn Sie Probleme bei der Installation von Plugins haben und ein Netzwerkfehler auftritt, können Sie in den Download Options einen anderen Server einstellen.

Updaten Sie zuerst die Serverliste und wählen dann einfach einen anderen Server aus. Normalerweise sollte sich das Problem nun erledigt haben.