PR# 13197 Violation of precondition `has_a_widget' of {SD_WIDGET_TOOL_BAR}.set_item_width
Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/06/17
Class: Bug
Severity: Serious
Number: 13197
Release: 6.0.69141
Confidential: No
Status: Closed
Responsible: larryl
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: Violation of precondition `has_a_widget' of {SD_WIDGET_TOOL_BAR}.set_item_width
Description
I got a precondition violation of `has_a_widget' of {SD_WIDGET_TOOL_BAR}.set_item_width. Not yet reproducible. Trace attached.
To Reproduce
Problem Report Interactions
This bug cannot be reproduced in workbench Eiffel Studio (svn revision#80583). And bug#13179 is fixed already. Thanks for your report
This is now reproducible and may be the same bug as bug#13179. To reproduce: Start workbench estudio and run estudio from within it. Open existing project. Resize main window so that it is not too wide (width of main window seems to matter). Undock Address toolbar and dock in top row with Standard Buttons. Do the same for the Project toolbar and Refactoring toolbar. Click twice on one of the Toolbar Options buttons in the single row of toolbars. Estudio crashes with precondition violation (trace attached previously).