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.