Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

How do I install a plugin manually, without using the Plugin Manager?

April 26, 2017install manager plugin

0

Posted

How do I install a plugin manually, without using the Plugin Manager?

1 Answer

0

Posted

Copy the plugin’s jar archive file (or files, if there are more than one) to the /jars subdirectory of either (a) the directory in which jEdit is installed, or (b) your user settings directory (which you can find by evaluating the BeanShell expression jEdit.getSettingsDirectory().