PR# 18095 Beep when pressing Ctrl+Tab

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2012/01/31
Class: Bug
Severity: Serious
Number: 18095
Release: 7.1
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows NT 6.1; WOW64) AppleWebKit/535.7 (KHTML, like Gecko) Chrome/16.0.912.77 Safari/535.7
Synopsis: Beep when pressing Ctrl+Tab

Description
If you have the focus set on the address bar entry, then pression `Ctrl+Tab' will make a beep sound and then create a new tab.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:manus_eiffel   
											Date:2012/01/31   
											
											Download   
										

										

                                            
											
										 	
At first I thought it could have been the recent change, but I've tried with older version too and it beeped too.

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:misterieking   
											Date:2012/01/31   
											
											Download   
										

										

                                            
											
										 	
This occurs with 7.0.8.80784 too so isn't related to the change I made.  I'm surprised that my change hasn't fixed this as Ctrl-Tab should now not allow invalid default processing which was the case previously.