PR# 12102 Search tool Options section cut off and mostly not visible

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/02/22
Class: Bug
Severity: Serious
Number: 12102
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: Search tool Options section cut off and mostly not visible

Description
The Options section of the Search tool is mostly not visible for me and hence
not usable.  My font is "Arial 18" in case it matters, on Solaris x64.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

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

										

                                            
											
										 	
At revision#67326 this bug is fixed.

Thanks for your report.