[ jEdit-users ] jEdit editor in my Java program

[Jeremy D. F. <jd...@ca...>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

I'm writing a Java application which could use an embedded text editor.
 I'd really like to embed jEdit in my application to do this to get the
syntax highlighting and other jEdit features.  When I first looked into
doing this a couple years ago, I found some emails on the jEdit mailing
lists which said it was not possible with v4.2, but might be with v4.3.

Is it?  I haven't read the changelogs for v4.3 as carefully as I might,
so berate me if I missed something there.

Presently, my application saves the data to files in a temp directory,
and then it sends some BeanShell instructions to the jEdit server to
open up the files.  (My application re-loads the files when it gains
window-focus again.)  There are several asynchronous problems with this
solution which makes me unhappy.  If anyone has experience with this
approach, I wouldn't mind hearing some suggestions.

Also, if anyone knows of an alternative embedded text editor, I'd love
to hear about it.  (Although, I will shed a tear that I can't use
jEdit...)  I found jEdit Syntax Package, but its last release was in 2002.

jdf

- --
* Jeremy D. Frens * Professor, Computer Science * jd...@ca... *
         ``A classic is a book everyone wants to have read,
           but no one wants to read.''   -- Mark Twain

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFE2T4dOcBu2deY79IRAtxVAKDHQbVT5Y0b+6is7zXSDdDbhCaM2gCfVOmR
4eaHys8QkDpvshfWCRRCwSs=
=Yd7w
-----END PGP SIGNATURE-----