PR# 13099 Violation of precondition `is_tracing' of {SD_DOCKER_MEDIATOR}.on_pointer_motion
Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/06/11
Class: Bug
Severity: Serious
Number: 13099
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: Violation of precondition `is_tracing' of {SD_DOCKER_MEDIATOR}.on_pointer_motion
Description
A few simple docking moves and then moving an undocked window with several
tabs causes violation of precondition `is_tracing' of {SD_DOCKER_MEDIATOR}.on_pointer_motion.
To Reproduce
Delete ~/.es_wkbench directory. Start workbench estudio and open existing project. Undock Features window and position it in front of main window (in middle). Undock zone with Output, Diagram window etc and dock in bottom half of floating Features window. Click and hold on title bar of entire window with Features in top half and Output, Diagram etc in bottom half. Move mouse quickly over left side of main window. Estudio crashes with precondition violation (trace attached).
Problem Report Interactions
This bug is same as bug#13070, and it's fixed in revision#69096. Thanks for your report.