From: Manfred U. <uss...@ic...> - 2008-08-29 12:13:41
|
On Fri, 29 Aug 2008 14:38:27 +1000 "Dennis Hotson" <den...@gm...> wrote: > On Fri, Aug 29, 2008 at 2:18 PM, Mike Maxwell > <ma...@um...>wrote: > > > Alan Ezust wrote: > > > Mike Maxwell wrote: > > > I get a beanshell error which is rather long, but when I > > > bring up the Plugin Manager, I also get a Plugin Error that may > > > be more helpful: C:\Documents and Settings\maxwell\.jedit\jars > > > \TaskList.jar: Cannot start java.lang.NoClassDefFoundError: > > gnu/regexp/REException > > > > > > Try installing the gnu.regexp plugin and see if it goes away. > > > > Yeap, as someone else mentioned, that fixes it--thanks! > > > > Now if anyone has any answer to my other question (why the Highlight > > plugin gives me pastel colors), that would be appreciated! It > > affects not only the background, which is more pastel in the buffer > > than in the preview, but also the foreground--the characters being > > highlighted become grayer in the buffer than they were before being > > highlighted, unlike in the preview, where they remain black. > > > > I'm just guessing, because I've noticed the "pastel" colors too. I > think this is caused because it simply draws a semi-transparent > "tinted" square over the top to do the highlight. > .. it probably should draw behind the text, and without the > transparency so that the colour isn't affected by the background. Mmh, version 1.5 has options to choose the layer etc. See https://sourceforge.net/tracker/?func=detail&atid=997936&aid=1884608&group_id=588 But it looks like it is still not available via Plugin Central. Manfred |