PR# 5138 EV_MESSAGE_DIALOG.make_with_text violates invariant

Problem Report Summary
Submitter: thomas.beale
Category: Beta
Priority: Low
Date: 2005/07/11
Class: Bug
Severity: Non-critical
Number: 5138
Release: 5.6.1026beta
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB; rv:1.7.8) Gecko/20050511 Firefox/1.0.4
Synopsis: EV_MESSAGE_DIALOG.make_with_text violates invariant

Description
The invariant violated is from EV_COLORIZABLE:
	background_color_not_void: is_usable implies background_color /= Void

I call the make_with_text routine as follows:

class 
	SPLASH_WINDOW

inherit
	EV_MESSAGE_DIALOG
create 
	make

feature -- Initialization

	make is
		do
			make_with_text (
To Reproduce
I have already modified the code above from my actual code; the above should fail in the same way.
Problem Report Interactions
From:thomas.beale    Date:2005/11/11    Download