![]() |
![]() ![]()
|
![]() |
|
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 ist eine teilkategorie von GUIButton |
appearance as argument number 2 |
![]() |
(disjoint GUICheckBox GUIRadioButton) | ComputerInput.kif 1126-1126 | GUICheckBox ist dijunkt von GUIRadioButton %n{nicht} |
(termFormat EnglishLanguage GUIRadioButton "GUI radio button") | domainEnglishFormat.kif 64945-64945 | GUICheckBox ist dijunkt von GUIRadioButton %n{nicht} |
![]() |
![]() |