TLC model checker: "Deadlock" checkbox appears blank even if checked

While following the video tutorials and attempting to run the TLC model checker, my model failed due to a “deadlock” (meaning, termination of the program).

When I went back to uncheck the “Deadlock” option, it appeared already unchecked, but TLC still fails with the same error.

After some investigation, it seems that the “checked” checkbox looks empty except for a thin green border:

…and the “unchecked” checkbox looks the same except with a thin grey border:

If it’s any help, I’m running Ubuntu 19.04 on an x64 machine, using Java 1.8:

openjdk version "1.8.0_222"
OpenJDK Runtime Environment (build 1.8.0_222-8u222-b10-1ubuntu1~19.04.1-b10)
OpenJDK 64-Bit Server VM (build 25.222-b10, mixed mode)

[mnp]

Okay kind of solved: @lemmy 's question was exactly the right thing to ask.

Ubuntu 19.10, X11 session type, GDM and gnome-tweak to flip themes.

So it turns out that Gnome themes can indeed affect UI elements inside Toolbox, and the checkbox is highly dependent on the theme. Some themes highlight the marked state, and some obscure it. Three examples (Adwaita, Ambience, and High Contrast, respectively):

Toolbox users can choose a different theme, plus it seems some themes should support the Eclipse elements better.

Thanks!

[lemmy]

I don’t see what we can do about except waiting for Eclipse to address the issue. Would somebody of those affected please open an Eclipse bug?