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

Bug 105 - Interference with Windows XP theme colors
Summary: Interference with Windows XP theme colors
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: PC All
: P2 normal
Assignee: Gerd Behrmann
Depends on:
Reported: 2004-06-16 17:23 CEST by Alexandre David
Modified: 2006-10-14 00:23 CEST (History)
1 user (show)

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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.