PR# 13317 Select_actions being fired on a radio button that is already selected.

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Low
Date: 2007/07/16
Class: Bug
Severity: Non-critical
Number: 13317
Release: 6.0.6.9201
Confidential: No
Status: Closed
Responsible: misterieking
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.8.1.4) Gecko/20070515 Firefox/2.0.0.4
Synopsis: Select_actions being fired on a radio button that is already selected.

Description
It seems that the select_actions are being fired on a radio button that is already selected. 
To Reproduce
1- Open EiffelStudio and a class in the editor.
2- Select the clickable format
3- Select it a second time, the format is reloaded where it should not since it was already selected.
Problem Report Interactions
From:larryl    Date:2007/07/18    Status: Closed    Download   
This bug is fixed in revision#69519.

Thanks for the report.

From:misterieking    Date:2007/07/17    Status: Analyzed    Download   
What we need to use is a 'toggled' implementation, I have updated the linux implementation to do this but need to do some more comparison with the Windows implementation to see the current behavior on initial setup and explicit calling of 'enable_select'  Currently the linux version also uses the 'clicked' behavior so this means that the actions won't get called on calls to 'enable_select', when perhaps they should.