[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] using the tla-toolbox on wayland



I mostly use neovim to write TLA+, with the tree-sitter-tlaplus grammar for highlighting. Syntax errors are identified when the highlighting becomes weird. A poor substitute for a good LSP, but it works well enough for me!

I know Karolis has been working on a LSP based on TLAPM, which the VS Code extension uses. I haven’t tried plugging it into neovim but it seems worth trying.

Andrew Helwer

On Fri, Oct 3, 2025 at 2:30 AM Steve Kimani <stevekimani8584@xxxxxxxxx> wrote:
i was wondering how one could use tla plus on vim and then i realised that i have to configure lsp until i found that i could only use a parser 

On Thu, Oct 2, 2025 at 8:12 PM 'Marko Schuetz-Schmuck' via tlaplus <tlaplus@xxxxxxxxxxxxxxxx> wrote:
Dear All,

not having used the toolbox in a while and coming back to it just now, I
found that the GUI on my current machine was unusable (huge icons,
overlapping text lines, etc.).

After some digging I found that this is a problem with eclipse-based (or
even java-based?) applications on wayland. One workaround that I found
and that I'm going to use for now is to force the JRE to use xwayland
like this:

GDK_BACKEND=x11 tla-toolbox&

I hope this will help someone else here to save some time...

Best regards,

Marko

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/87plb5p6tq.fsf%40allofthis.mail-host-address-is-not-set.

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CAA8Us9OsO1gM1PxBwvtTCg0UnCqdvi5_0X02HRy0h2%2BuzHXg6g%40mail.gmail.com.

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CABj%3DxUUjy8A%2BkvzUM0NwOuQxy%3D8SrN%2BXPy%2B3BoBNGcZcuMMd6w%40mail.gmail.com.