PR# 17683 Violation of precondition `is_interface_usable' of {ES_EDITOR_WIDGET}.scroll_editor_to_end

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2011/06/20
Class: Bug
Severity: Serious
Number: 17683
Release: 7.0.86747
Confidential: No
Status: Open
Environment: Mozilla/5.0 (X11; SunOS sun4u; rv:2.0) Gecko/20100101 Firefox/4.0 Solaris 10 on SPARC
Synopsis: Violation of precondition `is_interface_usable' of {ES_EDITOR_WIDGET}.scroll_editor_to_end

With a workbench estudio, forcing exit while compilation is in progress
causes violation of precondition `is_interface_usable' of 
ES_EDITOR_WIDGET}.scroll_editor_to_end.  Trace attached.

To Reproduce
Start estudio and begin compiling a project with no precompiled library.
Select File/Exit.
In popup, choose Force Exit.
Estudio window disappears but then estudio gets precondition violation.
Problem Report Interactions
From:prestoat2000    Date:2011/06/20    Download   
Attachments for problem report #17683

Attachment: stack16.txt     Size:10991