PR# 13094 Precondition `not_void' of {SD_TAB_STATE_ASSISTANT}.update_last_content_state violated
Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/06/11
Class: Bug
Severity: Serious
Number: 13094
Release: 6.0.69015
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.8.1.3) Gecko/20070321 Firefox/2.0.0.3
Solaris 10 on x86
Synopsis: Precondition `not_void' of {SD_TAB_STATE_ASSISTANT}.update_last_content_state violated
Description
A simple sequence of docking/undocking windows/tabs leads to violation of
precondition `not_void' of {SD_TAB_STATE_ASSISTANT}.update_last_content_state
when running "ec -gui" in workbench mode.
To Reproduce
Delete ~/.es_wkbench directory.
Start workbench estudio and open existing project.
Undock Features window and move it in front of main window.
Undock zone with Output, Diagram, etc and dock with Features window, so that
there is one set of tabs.
Click and hold mouse button on Class tab and move mouse straight down an inch
or so. Release mouse button. Class tab is not undocked.
Try this maneuver again. Class tab is not undocked.
Now click and hold mouse button on Class tab and move to the right. Class tab
appears to be undocked. Move it to right of main window and release button.
Features window appears to right of main window instead of Class window.
Click on Class tab again and try to undock it. Seems to work, but the tab
that is undocked is the Output tab.
Click on Class tab and release. Class tab is selected but background is beige
(theme-color).
Click on Class tab and hold, undock Class tab and release when it is below
main window.
Estudio crashes with violation of precondition `not_void' of
{SD_TAB_STATE_ASSISTANT}.update_last_content_state.
Trace attached.
Problem Report Interactions
The reason of this bug is same as bug#13066. This is fixed in revision#69093. Thanks for your report.