[EMAIL PROTECTED] wrote: > The PluginManager was not able to download/install the files.
If you install jEdit for the first time, you have to go to Utilities / Global Options / jEdit-Plugin Manager and press the button "Update Mirror List". Than chose one of the mirrors and press "Apply". After that step you can use the Plugin Manager as expected. But: I noticed several times that the primary server was not available, so the mirrorlist could not be updated. In that case you have to wait some time until the server is online again and try it again. Ole _______________________________________________ lilypond-user mailing list lilypond-user@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-user
