Selected items in the query list have a white background which makes them
unreadable. This occurs with the default XP theme of Windows XP. Switching to
another theme and restarting uppaal solves the problem.
Just to clarify: This problem is specific to the Luna theme.
Alexandre is the only person here with an XP installation, so I reassign the bug
This bug is related to Java. Updating to Java 1.5 solves the problem.
The bug seems to have reappeared recently with Java 1.5 and Windows XP (both XP and classic theme). It is still not our fault, I guess, but we should check with upstream if it is a known problem.
Strangely enough, this does not seem to be a problem in 3.4.11. I wonder what has changed....
It was actually my own fault this time. Fixed on the 4.0 branch from rev. 2757.
Fixed on the trunk from rev. 2762.