PR# 12183 Filter in preferences window is case-sensitive but should not be

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/03/03
Class: Bug
Severity: Non-critical
Number: 12183
Release: 6.0.66895
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: Filter in preferences window is case-sensitive but should not be

Description
In the Preferences window, after selecting Flat format a Filter field appears.
I expected that any preferences whose text matched what I typed in the Filter
field would be displayed, independent of case.  For example, I typed "dock"
and expected to get all preferences related to docking.  But the "Dock tracking"
preference didn't show up in the filtered list - to see that one, I had to
type "Dock".  I think this is undesirable and counterintuitive behavior.
Please consider changing it so that preference window filtering uses a
case-independent match.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:jfiat_es   
											Date:2007/03/05   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
This issue is now fixed by revision rev#67067.