PR# 13070 Precondition is_tracing of {SD_DOCKER_MEDIATOR}.on_pointer_motion violated

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/06/10
Class: Bug
Severity: Serious
Number: 13070
Release: 6.0.68996
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 is_tracing of {SD_DOCKER_MEDIATOR}.on_pointer_motion violated

Description
Run workbench version of "ec".  From within estudio, right-click on Start
button and set arguments to "-gui" and working directory to the directory
of an existing project.
Click on Start.
When estudio (ec -gui) starts, open the existing project.
Dock and undock various windows.  Pretty soon (3-4 times within 10-15 minutes),
violates precondition is_tracing of SD_DOCKER_MEDIATOR}.on_pointer_motion.
Trace attached.

Note: I had to turn off postconditions for docking library and check assertions
for EB_CLICKABLE_EDITOR to get this far.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:larryl   
											Date:2007/06/14   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
This bug is fixed in revision#69096.

Thanks for your report.

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:prestoat2000   
											Date:2007/06/10   
											
											Download   
										

										

                                            
											
										 	
Attachments for problem report #13070

											
											
											

											
											

												

													

														

															Attachment:
															stack62.txt    
															Size:2686