Re: [ jEdit-users ] can't seem to get vertical indent lines back

[Rick R. <r...@re...>]

Manfred Usselmann wrote:

>>I believe it's part of the Whitespace plugin, and for some reason just
>>doesn't work with the latest couple of beta releases. 
> 
> 
> There is a version for 4.2 available on community.jedit.org.

Why am I having such a difficult finding it on that site? Shouldn't 
there be a "plugins" link on the right or am I just being the typical 
dumb user:)

-- 
Rick