Re: weird windows-only problems with textarea extensions

Ignore this email. There were various settings I didn't have set up right
yet. Now windows is working like linux for me.


On Wed, May 8, 2024 at 2:43 PM Alan Ezust <[email protected]> wrote:

> I'm testing jEdit trunk on linux and windows. java 21 on both systems.
> On linux, WhiteSpace properly displays end of line characters and
> whitespaces.
> on windows, not.
>
> on linux, voxspell works. on windows, not.
>
> Not sure why this is yet, but it might be related to textarea
> extensions... hm.
> Matthieu, any ideas?
>
>
>

-- 
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel