PR# 12002 Boolean 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: 12002
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: Boolean Preferences cannot be edited via the keyboard

Description
Under Tools | Preferences, I can edit preferences by hitting the Enter key and then typing.

EiffelStudio 6.0 has introduced check boxes for Boolean preferences, which is a good improvement. Hopefully we'll see the same improvement in the Project Settings window.

Unfortunately, these check boxes cannot be edited via the keyboard. I would expect to be able to toggle the check box simply by hitting the space bar.
To Reproduce

										
Problem Report Interactions
From:jfiat_es    Date:2007/02/06    Status: Closed    Download   
Now you can toggle the boolean value using the key "space".
This is available from revision rev#66474 and thus will be available in next release.
About using this checkable item for the configuration tool, we should update it, we'll keep you informed when this is done.