PR# 13096 Precondition `enough_max_space' of {SD_TOOL_BAR_ROW_POSITIONER}.position_front_to_back
Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/06/11
Class: Bug
Severity: Serious
Number: 13096
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 `enough_max_space' of {SD_TOOL_BAR_ROW_POSITIONER}.position_front_to_back
Description
A simple sequence of moving two toolbars and docking them at the bottom of the
main window, then undocking one and moving it past the other causes violation
of precondition `enough_max_space' of {SD_TOOL_BAR_ROW_POSITIONER}.position_front_to_back.
To Reproduce
Delete ~/.es_wkbench directory. Start estudio and open existing project. Undock Standard Buttons toolbar and dock at bottom of main window. Undock Project toolbar and dock at bottom of main window, below Standard Buttons. Now repeatedly undock the top toolbar, move it up and down vertically through the bottom of the main window so that it gets docked and undocked and then leave it docked below other toolbar. Pretty soon estudio crashes with attached trace.
Problem Report Interactions
This bug is fixed in revision#69099. Thanks for your report.