PR# 17657 Violation of precondition `is_interface_usable' of {ES_WATCH_TOOL}.siteable_entities

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2011/06/15
Class: Bug
Severity: Serious
Number: 17657
Release: 6.8.86627
Confidential: No
Status: Open
Environment: Mozilla/5.0 (X11; SunOS sun4u; rv:2.0) Gecko/20100101 Firefox/4.0
Synopsis: Violation of precondition `is_interface_usable' of {ES_WATCH_TOOL}.siteable_entities

A particular sequence of actions with a workbench estudio violates 
precondition `is_interface_usable' of {ES_WATCH_TOOL}.siteable_entities.

Full trace attached.
To Reproduce
Delete ~/.es68_workbench directory.
Start workbench estudio (compiled with just preconditions) and open an
   existing project.
Click on Force Environment into Debug Mode.
Right-click on Watch tab and select Close menu item.
Estudio crashes with precondition violation.
Problem Report Interactions
From:prestoat2000    Date:2011/06/15    Download   
Attachments for problem report #17657

Attachment: stack2.txt     Size:6426