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