PR# 11960 Alignment issues

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Low
Date: 2007/02/01
Class: Bug
Severity: Non-critical
Number: 11960
Release: 6.0.6.6374
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.8.1.1) Gecko/20061204 Firefox/2.0.0.1
Synopsis: Alignment issues

Description
When double clicking on the splitters it put the splitter in the middle. This is nice. However I've noticed that two vertical areas would center at a different location (about 2 pixels difference, see attached picture).
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

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

										

                                            
											
										 	
This is fixed after revision 66702.
Thanks for the report.

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:manus_eiffel   
											Date:2007/02/01   
											
											Download   
										

										

                                            
											
										 	
Attachments for problem report #11960

											
											
											

											
											

												

													

														

															Attachment:
															alignment.png    
															Size:104779