From: mike d. <md...@st...> - 2000-02-20 18:17:48
|
hi- sorry i haven't mailed sooner, but there have been 5 plugin updates in the last two days. here they are: [ plugins updated: 20-February-00 ] * JIndex 0.7.0: more flexible viewing options; private and package-private members can be included in the index; index loading should be thread safe; index structure changed to fix doc URL bug; other fixes; requires JDK 1.1, jEdit 2.2final, EditBus 0.8, PluginHolder 0.0.3 [ plugins updated: 19-February-00 ] * HTML 2.1.3: browser commands removed; use InfoViewer * Console 2.0.2: fixed error patterns * InfoViewer 0.4.1: the "Netscape (with reuse, Unix only )" option now uses the "-raise" option to bring the netscape window to front; the option pane is smaller; an error issued when homepage property is not yet set; reload did not work properly; external browser class invocation had some errors; tooltips weren't shown; throws NPE sometimes on empty title (thanks, Slava); back after error jumps one page too far (thanks, Slava); makefile cleanup * Firewall 0.2.2: option pane smaller; makefile cleanup -md |