Difference between revisions of "EiffelStudio 7.0 Releases"

(User changes)
m (Bug fixes: Added a note for the fix of bug#17736)
Line 9: Line 9:
 
===Feature removed===
 
===Feature removed===
 
===Bug fixes===
 
===Bug fixes===
 +
* bug#17736  (test#vffd802) - Avoided reporting VFFD(8) for process-relative once procedures.
 +
 
===User changes===
 
===User changes===
 
*vision2: Relaxed precondition on `set_focus' to let you set the focus even if the widget is not displayed. Note that in this case the `set_focus' call will have no effect. This is necessary because testing Vision2 code in a window less environment could violate the precondition and it would be rather expensive to change all callers of `set_focus' to check this all the time.
 
*vision2: Relaxed precondition on `set_focus' to let you set the focus even if the widget is not displayed. Note that in this case the `set_focus' call will have no effect. This is necessary because testing Vision2 code in a window less environment could violate the precondition and it would be rather expensive to change all callers of `set_focus' to check this all the time.
  
 
===Developer changes===
 
===Developer changes===

Revision as of 04:49, 12 July 2011

Below are not the release notes of EiffelStudio. It is the change log of EiffelStudio intermediate releases and the most important changes are highlighted in green or in red (for breaking changes). The release notes of EiffelStudio can be found at the following URL. You can also download the latest revision here. Information about other version can be found under Category:Releases.

EiffelStudio 7.0.x Releases

7.0.x

Placeholder for new stuff since last intermediate release.

New features

Improvements

Feature removed

Bug fixes

User changes

  • vision2: Relaxed precondition on `set_focus' to let you set the focus even if the widget is not displayed. Note that in this case the `set_focus' call will have no effect. This is necessary because testing Vision2 code in a window less environment could violate the precondition and it would be rather expensive to change all callers of `set_focus' to check this all the time.

Developer changes