Console for jEdit 5.1

Consola para jEdit es un plug-in le ofrece dos conchas de línea de comandos, uno para el sistema y otra para BeanShell. También proporciona una interfaz para otros plug-ins para agregar conchas arbitrarias a la consola de complemento. Además, consola...