PR# 17668 Violation of precondition `valid' of {SD_TOOLBAR_DOCKER_MEDIATOR}.set_offset

Problem Report Summary

Submitter: prestoat2000

Category: EiffelStudio

Priority: Medium

Date: 2011/06/17

Class: Bug

Severity: Serious

Number: 17668

Release: 7.0.86747

Confidential: No

Status: Open

Responsible:

Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.9.1.8) Gecko/20100226 Firefox/3.5.8

Synopsis: Violation of precondition `valid' of {SD_TOOLBAR_DOCKER_MEDIATOR}.set_offset

Description

A particular sequence violates precondition `valid' of
SD_TOOLBAR_DOCKER_MEDIATOR}.set_offset in a workbench estudio.
Undock Standard buttons toolbar.
Click quickly several times on New Tab button and then
   immediately try to dock Standard buttons toolbar back in its original
   location, without waiting for creation of new tabs to finish.

To Reproduce

Start workbench estudio - no need to open a project.
Undock Standard buttons toolbar.
Click quickly several times on New Tab button and then
   immediately try to dock Standard buttons toolbar back in its original
   location.
Estudio crashes with attached trace.

Problem Report Interactions