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
From:larryl    Date:2009/09/07    Status: Closed    Download   
This bug cannot be reproduced in workbench Eiffel Studio (svn revision#80583). And bug#13179 is fixed already.

Thanks for your report

From:prestoat2000    Date:2007/06/17    Download   
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).

From:prestoat2000    Date:2007/06/17    Download   
Attachments for problem report #13197

Attachment: stack97.txt     Size:1350