GUIRadioButton |
appearance as argument number 1 |
(documentation GUIRadioButton EnglishLanguage "A GUIRadioButton is a GUIButton in a set of buttons that stays selected when a user clicks on it. Any other button that was depressed is released when the GUI radio button is pushed.") | ComputerInput.kif 941-943 | |
(subclass GUIRadioButton GUIButton) | ComputerInput.kif 940-940 | GUIRadioButton e' uma sub-classe de GUIButton |
appearance as argument number 2 |
(disjoint GUICheckBox GUIRadioButton) | ComputerInput.kif 1126-1126 | GUICheckBox e' disjunto de GUIRadioButton |
(termFormat EnglishLanguage GUIRadioButton "GUI radio button") | domainEnglishFormat.kif 64920-64920 |