Plugin updates: a round of nine
Submitted by on Monday, 5 November, 2001 - 05:26
- CharacterMap 1.0.3: fixes an incompatibility with the upcoming jEdit 4.0pre1; requires jEdit 3.0final and JDK 1.1
- HartMathPlugin 0.7.pre17: initial Plugin Central release; Fold() function added; new symbol attributes NHoldAll, NHoldRest, NHoldFirst added in com\hartmath\expression\HSymbol.java; requires jEdit 3.2.1, Console 3.0, EditBus 1.1, ErrorList 1.1, and JDK 1.2
- InfoViewer 1.0: no longer dependent on EditBus plugin (plugins that used the message org.gjt.sp.jedit.msg.ViewURL from the EditBus plugin should now use public static void InfoViewerPlugin.openURL(View,String) directly); the internal (Java/Swing driven) browser is now dockable into jEdit's view (Use this to create a HTML preview pane, when editing HTML files); new options for automatic update of the current page of the internal browser: update on buffer switch, on buffer save, periodically (Use this to watch a stock ticker, or to sync your edit buffer with the preview pane automatically); some other minor enhancements; bugfix: "Edit current URL" didn't work if URL had an anchor; requires jEdit 3.1final and JDK 1.1
- IRC 1.6: user can change colors and font now; width of users list is remembered; FIX: users list will be sorted properly now; FIX: output area/users list split pane is displayed correctly; requires 3.2final and JDK 1.1
- JCompiler 1.3.3: bugfix: "stop" command didn't cleanup properly, resulting in messages printed twice; bugfix: first compiler run printed messages twice occasionally; bugfix: ClassNotFoundException on startup if run on JDK 1.1.x; overall compiler run should be faster now; requires jEdit 3.2.2, Console 3.0, EditBus 1.1, and JDK 1.1
- JIndex 1.0: now depends directly on InfoViewer instead of EditBus; requires jEdit 3.1final, InfoViewer 1.0, and JDK 1.1
- NetRexxJe 0.05: updated for jEdit 3.0 action API; includes NetRexxC.jar; requires jEdit 3.0final, EditBus 0.9.4, and JDK 1.3
- Tags 1.0: initial Plugin Central release; requires jEdit 3.2final and JDK 1.1
- TomcatSwitch 0.2: initial Plugin Central release; updated for jEdit 3.2.2 and Console 3.0 APIs; added "status" and "restart" commands; requires jEdit 3.2.2, Console 3.0, EditBus 1.1, Apache Tomcat 3.2.1, and JDK 1.1
