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