Zurück: Startseite // wiki // Tutorials

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.



Wiki Kategorien

Wiki Hilfen

Über diese Seite

  • zuletzt geändert 10.01.2007 05:05 Uhr
  • von






Werbung