Re: [ jEdit-users ] Highlight plugin: pastel?

[Mike M. <ma...@um...>]

Dale Anson wrote:
> The highlight plugin colors work well for me.  I tried changing to all 
> red, and it looks in the text area just like it does on the preview, so 
> I'm not sure why it isn't working for you.

It must be too late at night, I should have added some version info: 
Windows XP, jEdit 4.3 pre 15, Java 1.6.0_04 (odd, I have Java 1.6.0_07, 
wonder why jEdit is using the older version...), and Highlight reports 
v1.4.1.  What is your system?

> What version of TaskList do you have?  I've got 0.4.4, and it works fine 
> with the latest jEdit, even though TaskList is fairly old.  

Same version of TaskList, 0.4.4

 > What is the error you're seeing?

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 updating to a newer version of the plugin.
Let me know if you want the beanshell error.

> Thanks,

Thank you!

-- 
    Mike Maxwell
    "We signify something too narrow when we say:
    Man is a grammatical animal. For although there
    is no animal except man with a knowledge of grammar,
    yet not every man has a knowledge of grammar."
    --Martianus Capella, "The Seven Liberal Arts"