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.