the mediawiki plugin for jEdit lets you edit pages on mediawiki servers. pages can be loaded into jEdit from within a browser. it provides syntax-highlighting and some simple wiki-specific text modification commands. following links within pages to other pages is supported, too.
the plugin has been tested on debian/sid, mac os x 10.4 and windows XP. it may work on other operating systems, too - write once, test anywhere ;)
similar eclipse plugins can be found here and here.
the dot gray at gmx dot net (write in english or german)
the mediawiki plugin is released under the GPL.
| JRE 1.5.0 or newer | http://java.sun.com/javase/ |
| jEdit 4.3pre12 or newer | http://www.jedit.org |
| XML | http://plugins.jedit.org/plugins/?XML |
| JakartaCommons | http://plugins.jedit.org/plugins/?JakartaCommons |
| MwJed-0.10.18.zip | (binaries) |
| MwJed-0.10.18-src.zip | (sources) |
see changes.txt for changes in version 0.10.18.
assuming you have already installed the JRE and jEdit:
Plugins/Plugin Manager and install the XML-plugin.MwJed-0.10.18.zip from the download section above.MwJed-0.10.18.zip into the jars directory of your jEdit installation$HOME/.jedit/jars).$HOME/.jedit/jars/mwapi.jar into a new directorycommons.family and commons.site in this directory$HOME/.jedit/mwjed/_familycommons.family to $HOME/.jedit/mwjed/_family/NAME.familycommons.site to $HOME/.jedit/mwjed/_family/NAME.sitethis is not necessary for normal users.
MwJed-0.10.18-src.zipMwJed-0.10.18-src.zip. this will create a new directory named MwJed.cd into the MwJed directorybuild.properties: fix jedit.install and jedit.user.
if you don't have jikes installed, change build.compiler to javac.ant to build, ant -p will print out possible targets.
some known "features" still exist. if you have problems not mentioned below,
choose Utilities/Troubleshooting/Activity Log from the jEdit menu
and look for lines beginning with MwJedPlugin:
Utilities/Global options/Shortcuts/Plugin: MwJed