JinnIde

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 5.0/5 - ‎1 ‎投票

に関しては JinnIde

JinnIde は、JEdit に統合された IDE の範囲内で、http://www.binnetcorp.com/Jinni/を参照して Jinni を使用できるプラグインです。