From: Slava P. <sl...@je...> - 2002-03-27 10:17:48
|
Hello everybody, Of all the plugins listed on plugin central, seven are incompatible with jEdit 4.0; of those seven, two have updated beta versions available for download elsewhere. Plugins available for download outside plugin central: - SpeedJava - http://jbrix.org/kits/speedjava/download.html Plugins updated in CVS: - CodeAid Plugins that have not yet been converted: - HartMathPlugin - JavaRefactor - JStandard - JSwat - NetRexxJe -- Slava Pestov |
From: Todd P. <to...@da...> - 2002-03-28 22:32:44
|
> Plugins that have not yet been converted: > > - HartMathPlugin > - JavaRefactor > - JStandard > - JSwat > - NetRexxJe Just out of interest, what is the problem with JSwat? I have been using version 1.1.5 with jedit 4.0 without any problems. Todd |
From: Slava P. <sl...@je...> - 2002-03-29 01:27:44
|
On Fri, 2002-03-29 at 10:31, Todd Papaioannou wrote: > > Plugins that have not yet been converted: > > > > - HartMathPlugin > > - JavaRefactor > > - JStandard > > - JSwat > > - NetRexxJe > > Just out of interest, what is the problem with JSwat? I have been using > version > 1.1.5 with jedit 4.0 without any problems. It uses the old highlight API, as a result breakpoint locations are never highlighted in the gutter. -- Slava Pestov |
From: Joe P. <jPo...@cd...> - 2002-03-29 15:59:21
|
In jEdit 4.0pre8, is there some way to toggle on/off the line of "commando" buttons? (I'm trying to maximize the edit area on screen) Thanks, Joseph Polanik |
From: Slava P. <sl...@je...> - 2002-03-30 01:25:23
|
Yes, look in utilities-global options-plugins-console. On Sat, 2002-03-30 at 03:57, Joe Polanik wrote: > In jEdit 4.0pre8, is there some way to toggle on/off the line of "commando" > buttons? > > (I'm trying to maximize the edit area on screen) > > Thanks, > > Joseph Polanik > > > > -- > ----------------------------------------------- > jEdit Users' List > jEd...@li... > https://lists.sourceforge.net/lists/listinfo/jedit-users -- Slava Pestov |