PR# 13676 EV_FRAME does not fresh nicely on Windows

Problem Report Summary

Submitter: jfiat_es

Category: EiffelVision

Priority: Medium

Date: 2007/11/26

Class: Bug

Severity: Serious

Number: 13676

Release: 6.1,trunk

Confidential: No

Status: Closed

Responsible:

Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.7; .NET CLR 2.0.50727) Gecko/20070914 Firefox/2.0.0.7

Synopsis: EV_FRAME does not fresh nicely on Windows

Description

If you have a dialog with a EV_FRAME inside
if you resize the dialog slowly to make it bigger, you'll noticed the border does not redraw nicely.

To Reproduce

Open the "execution parameters" and resize the dialog
you'll notice on the top border of the frame.

Maybe, EV_FRAME would need a specific "refresh_now" or similar.

Problem Report Interactions

From:misterieking Date:2007/11/28 Status: Closed Download

This has now been fixed.