jExt
Quick Facts |
|
Site |
|
Platform |
JVM |
License |
GPL? |
jExt is a Java based editor. It is scriptable using Python (Jython). If you want a faster, lighter JedIt, jExt is what you want.
If jExt had folding like JedIt. I would switch to it!
this is a german Web-Mirror of PYTHON.ORG powered by Domainunion AG