[ jEdit-devel ] session-aware plugins: problems with jars and VFS

[Sergey V. U. <ser...@cl...>]

Hi all

There is one interesting question for your discussion.
I am on my way to make SQL plugin session-aware. Each session will have
its own set of server records and own classpath for JDBC drivers. This
feature causes a couple of interesting problems:
1. When I change classpath, I have to deregister old set of drivers and
register new one. Do we have a method for this in jEdit API? I use
"jEdit.addPluginJAR" but there is no "remove" counterpart.
2. Since the list of server records is changed with a session, I have to
notify VFS (VFSManager?) that SqlVFS now has new tree (so FileBrowser
will have to reread it if necessary etc). What is the correct way of
doing this?

Regards,

Sergey