PR# 17682 Violation of precondition `has' of {SD_DOCKING_MANAGER_QUERY}.content_by_title
Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2011/06/20
Class: Bug
Severity: Serious
Number: 17682
Release: 7.0.86747
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (X11; SunOS sun4u; rv:2.0) Gecko/20100101 Firefox/4.0
Solaris 10 on SPARC
Synopsis: Violation of precondition `has' of {SD_DOCKING_MANAGER_QUERY}.content_by_title
Description
While playing with a workbench estudio, I got a violation of precondition
`has' of {SD_DOCKING_MANAGER_QUERY}.content_by_title. Trace attached.
Not currently reproducible.
To Reproduce
Not currently reproducible.
Problem Report Interactions
This is now reproducible. To reproduce: Start workbench estudio with preconditions enabled. Reset Tools Layout to return to default configuration. Type Tab to create a new Editor tab. In Class Name combo box, type INTEGER_32 to put that class in new Editor tab. Click on Maximize button to maximum zone with two Editor tabs. Select View/Tools Layout/Save Layout As and save layout under name "Stoat". Click "X" in Editor tab for INTEGER_32 to close it. Select View/Tools Layout/Open Layout and open layout "Stoat". Estudio crashes withi precondition violation.