PR# 18003 Unexpected expansion of EV_TITLED_WINDOW width in Windows implementation
Problem Report Summary
Submitter: finnianr
Category: EiffelVision
Priority: Low
Date: 2011/11/24
Class: Bug
Severity: Serious
Number: 18003
Release: 7.0.8.7451
Confidential: No
Status: Open
Responsible:
Environment: Windows 7 64 bit, C compiler SDK 7.1
Synopsis: Unexpected expansion of EV_TITLED_WINDOW width in Windows implementation
Description
An application windows of type EV_TITLED_WINDOW unexpectedly expands to exactly double width of child widget for Windows implementation of Vision2. This does not happen with GTK implementation and did not happen on EiffelStudio version 6.3.
To Reproduce
The contract in application window below will fail.
class MY_EV_TITLED_WINDOW
inherits
EV_TITLED_WINDOW
create
default_create
feature {NONE} -- Initialization
initialize
local
cell: EV_CELL
do
Precursor
set_title (Window_title)
create cell
cell.set_minimum_size (700, 700)
extend (cell)
check
expected_width: width = cell.width
end
end
end
Problem Report Interactions