Re: [ jEdit-users ] jEdit 4.2 and WhiteSpace plugin

[<Kli...@t-...>]

The Whitespace plugin is not yet updated for 4.2. Some things are 
functional, but everything concerning painting in the textarea do not work.

Alex

Jabel D. Morales wrote:
> Hi.
> 
> I just installed jEdit 4.2 and my usual set of plugins.
> 
> I seem to be having some problems with the Whitespace plugin.  
> Specifically, I cannot see any whitespaces, even though I am specifying 
> the plugin to show them.  The plugin seems to be properly installed, 
> since the "remove trailing spaces" feature does work.
> 
> Windows XP, jEdit 4.2, JSDK 1.4.2_04
> 


-- 
Alexander Klimetschek

<kli...@t-...>