Eclipse
Eclipse is a popular IDE written in Java, made by IBM but open source.
A DocSynch plugin for Eclipse is planned. It will be the next implementation after the plugin for jEdit.
Eclipse is a popular IDE written in Java, made by IBM but open source.
A DocSynch plugin for Eclipse is planned. It will be the next implementation after the plugin for jEdit.