This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 105

Summary: Interference with Windows XP theme colors
Product: UPPAAL Reporter: Alexandre David <adavid>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: normal CC: behrmann
Priority: P2    
Version: unspecified   
Hardware: PC   
OS: All   
Architecture:

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.