|Summary:||Interference with Windows XP theme colors|
|Product:||UPPAAL||Reporter:||Alexandre David <adavid>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
Description Alexandre David 2004-06-16 17:23:12 CEST
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.
Comment 1 Gerd Behrmann 2004-06-16 18:00:58 CEST
Just to clarify: This problem is specific to the Luna theme.
Comment 2 Gerd Behrmann 2004-06-29 13:46:05 CEST
Alexandre is the only person here with an XP installation, so I reassign the bug to him.
Comment 3 Alexandre David 2004-06-30 12:51:03 CEST
This bug is related to Java. Updating to Java 1.5 solves the problem.
Comment 4 Gerd Behrmann 2006-10-12 18:01:43 CEST
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.
Comment 5 Gerd Behrmann 2006-10-13 19:52:58 CEST
Strangely enough, this does not seem to be a problem in 3.4.11. I wonder what has changed....
Comment 6 Gerd Behrmann 2006-10-13 20:27:19 CEST
It was actually my own fault this time. Fixed on the 4.0 branch from rev. 2757.
Comment 7 Gerd Behrmann 2006-10-14 00:23:18 CEST
Fixed on the trunk from rev. 2762.