Console for jEdit 5.1

控制台使用jEdit是一个插件,为您提供了两个命令行shell,一个是系统,一个用于BeanShell的。它也提供了一个接口为其他插件任意炮弹添加到控制台插件。此外,控制台提供的按钮在“突击队工具栏中的”您最喜爱的命令行工具(制作,蚂蚁,qmake的,和乳胶)。中控台“编译”和“运行”动作,也可以映射到一个单一的快捷方式。该动作可以执行从每个编辑模式不同的突击队作用 要求: ErrorList...