PR# 13508 Cannot set Ctrl+F1 shortcut

Problem Report Summary
Submitter: peter_gummer
Category: EiffelStudio
Priority: High
Date: 2007/10/28
Class: Bug
Severity: Serious
Number: 13508
Release: 6.1.7.907
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.8) Gecko/20071008 Firefox/2.0.0.8
Synopsis: Cannot set Ctrl+F1 shortcut

Description
In EiffelStudio 6.0, I use Ctrl+F1 as the shortcut for the Clusters tool.

I have used the same shortcut in previous 6.1 releases too.

In the latest release, it doesn't work. In Tools | Preferences, it says that the shortcut is set the way I want it, but when I type Ctrl+F1 in the main window nothing happens, and when I look at the View | Tools | Clusters menu item, no shortcut is listed.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:jfiat_es   
											Date:2009/09/04   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
I can not reproduce this issue.
So I assume this had been fixed.

Closing.
Please reopen if you still experience this issue.

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:peter_gummer   
											Date:2007/12/20   
											
											Download   
										

										

                                            
											
										 	
Still not fixed in 6.1.7.1477.

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:peter_gummer   
											Date:2007/11/21   
											
											Download   
										

										

                                            
											
										 	
This is still not fixed and it's a major nuisance.

I've just discovered that the problem is not with the Ctrl+F1 shortcut per se, but with the Clusters tool. No matter what I set its shortcut to, the shortcut does not work. Also, if I use Ctrl+F1 for a different tool, the shortcut does work.