jEdit Community home jEdit Community Wiki > Plugins > JinniConsole jEdit Community Wiki webs:
Main | Plugins | Know | TWiki | Sandbox
Plugins . { Changes | Index | Search | Go }

Jinni Console

This is a plugin that allows using Jinni as a console application integrated in jEdit.

Plugin Page Form
Plugin Name?: Jinni Console
Category: Language Support
Maintainer: Wolfgang Chico Toepfer?
Latest Version?: 1.0
Released: June 11, 2003
Where To Download: http://plugins.jedit.org/plugins/?JinniConsole
Description: This is a plugin that allows using Jinni as a console application integrated in jEdit.

Topic JinniConsole . { Edit | Attach | Ref-By | Printable | Diffs | r1.1 | More }
Revision r1.1 - 16 Aug 2003 - 05:52 GMT - Brad Mace
Parents: Web Home
Copyright © 1999-2011 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding jEdit Community Wiki? Send feedback.
Get jEdit at !SourceForge.net. Fast, secure and Free Open Source software downloads