PR# 12006 Shortcut Preferences cannot be edited via the keyboard

Problem Report Summary
Submitter: peter_gummer
Category: EiffelStudio
Priority: High
Date: 2007/02/05
Class: Bug
Severity: Serious
Number: 12006
Release: 6.0.6.6451
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.1) Gecko/20061204 Firefox/2.0.0.1
Synopsis: Shortcut Preferences cannot be edited via the keyboard

Description
In the Tools | Preferences window, hitting Enter allows me to go into edit mode for SHORTCUT preferences.

When I have finished entering the shortcut, however, hitting Enter has no effect. Nor does Tab. There appears to be no way to apply my change via the keyboard.

Even with the mouse, there appears to be no way to apply the change, because if I click on another row with the mouse then the change I made is discarded.

The only way that I have found to apply the change is to click the Close button with the mouse.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:jfiat_es   
											Date:2007/02/07   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
Fixed by revision rev#66512.
The correction will be available in next release.