PR# 12104 Docked tracking preference ignored

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/02/22
Class: Bug
Severity: Non-critical
Number: 12104
Release: 6.0.66833
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.8.1) Gecko/20061228 Firefox/2.0 Solaris 10 on x64
Synopsis: Docked tracking preference ignored

Description
The "Dock tracking" preference (docked windows track main window) seems to be
ignored.  Either this should be fixed or the preference should be removed if no
longer applicable (i.e., if dock tracking won't be supported any more).
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:larryl   
											Date:2007/03/27   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
We removed "Dock tracking" preference at revision#67578.

Thanks for your report.