Hi,
I have installed jEdit 5.0 from Ubuntu distribution. My locale is Russian.
When installing XML plugin with Plugin Manager I get FileNotFound exception in activity log and plugin is not installed. It happens because I'm installing plugin with source and unpacker in Plugin Manager cannot handle non-ASCII character in folder name
~/.jedit/jars/XML/test_data/umlaut
When installing plugin manually there is no such problem, since "XML-2.8.5.zip" contents is unpacked by standard Ubuntu archive manager.
Best regards,
Egor
Ticket moved from /p/jedit/plugin-bugs/1781/
Can't reproduce:
java version "1.7.0_79"
OpenJDK Runtime Environment (IcedTea 2.5.6) (7u79-2.5.6-0ubuntu1.14.04.1)
OpenJDK 64-Bit Server VM (build 24.79-b02, mixed mode)
closing now