From: mike d. <md...@st...> - 2000-09-07 03:55:07
|
hello esteemed users of jEdit- last night, i updated Plugin Central with a new version of XInsert, now maintained by Dominic Stolerman, and a new version of BufferSelector. both updated versions work only with development versions of jEdit. XInsert 1.3: now maintained by Dominic Stolerman; updated for jEdit 2.6pre3 docking API; all new scripting that is more useful/flexible than before (e.g. pop-up windows with prompts for input); inserts can be macros; more insert libraries; option pane; unlimited nested menus; variable substitution; requires jEdit 2.6pre3 and JDK 1.2 BufferSelector 0.15.2: updated for the jEdit 2.6pre5 view component hierarchy; fixed bug where BufferSelector was not always properly repainted when buffers were closed; requires jEdit 2.6pre5 and JDK 1.1 -md |