Console for jEdit 5.1

Console per jEdit è un plug-in offre due gusci della riga di comando, una per il sistema e uno per Beanshell. Esso fornisce inoltre un'interfaccia per altri plug-in per aggiungere gusci arbitrari al plug-in Console. Inoltre, Console fornisce i...