GUIButton(GUI button) |
appearance as argument number 1 |
(disjoint GUIButton ComputerKeyboardKey) | ComputerInput.kif 936-936 | GUI button is disjoint from computer keyboard key |
(disjoint GUIButton ComputerTouchscreenKeyboard) | ComputerInput.kif 938-938 | GUI button is disjoint from computer touchscreen keyboard |
(disjoint GUIButton ComputerTouchscreenKeypad) | ComputerInput.kif 937-937 | GUI button is disjoint from computer touchscreen keypad |
(documentation GUIButton EnglishLanguage "A GUIButton is an image of a button on a GUIElement that a user may click on or ''hold down'' to indicate a UserSignifiedAction. The button's graphical appearance changes once it is selected. An icon of a ComputerKeyboardKey is not considered to be a GUIButton. A GUIButton may have labeling text or symbol displayed on or adjacent it. The active area for selecting a GUI button may be the area of the button itself or may include the area of text labeling the box.") | ComputerInput.kif 930-935 | GUI button is disjoint from computer touchscreen keypad |
(subclass GUIButton ComputerInputButton) | ComputerInput.kif 929-929 | GUI button is a subclass of computer input button |
(subclass GUIButton GUIActiveArea) | ComputerInput.kif 928-928 | GUI button is a subclass of GUI active area |
appearance as argument number 2 |
(disjoint ScrollBar GUIButton) | ComputerInput.kif 952-952 | Scroll bar is disjoint from GUI button |
(disjoint TextBox GUIButton) | ComputerInput.kif 1105-1105 | Text box is disjoint from GUI button |
(subclass GUIRadioButton GUIButton) | ComputerInput.kif 940-940 | GUI radio button is a subclass of GUI button |
(subclass ScrollBarArrowButton GUIButton) | ComputerInput.kif 981-981 | Scroll bar arrow button is a subclass of GUI button |
(termFormat EnglishLanguage GUIButton "GUI button") | domainEnglishFormat.kif 64966-64966 | Scroll bar arrow button is a subclass of GUI button |