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!
Please note: This wiki is currently running in test mode after an attack on January 5 2013. All passwords were reset, so you will have to use the password recovery function to get a new password. To edit wiki pages, please log in first. See the wiki attack description page for more details. If you find problems, please report them to the pydotorg-www mailing list.