Code

jEdit WebDAV Plugin

This jEdit plugin enables you to load documents from a WebDAV server into a jEdit buffer and to save the content of a buffer to WebDAV. With this plugin you can directly edit documents in the database.

To use this plugin you must configure a WebDAV listener in the adminstration console. Additionally, directories must be present in the database -- either manually or automatically created, see the documentation -- because WebDAV clients can only see directories and documents that are in directories.