Console for jEdit 5.1

Konsole für jEdit ist ein Plug-in bietet Ihnen zwei Kommandozeilen-Schalen, eine für das System und eine für Beanshell. Es bietet auch eine Schnittstelle für andere Plug-ins, beliebige Shell, um die Konsole-Plug-in hinzuzufügen. Darüber hinaus bietet...