GUISlider(GUI slider) |
appearance as argument number 1 |
(disjoint GUISlider ComputerTouchscreenKeyboard) | ComputerInput.kif 1030-1030 | GUI slider is disjoint from computer touchscreen keyboard |
(disjoint GUISlider ComputerTouchscreenKeypad) | ComputerInput.kif 1029-1029 | GUI slider is disjoint from computer touchscreen keypad |
(disjoint GUISlider ScrollBar) | ComputerInput.kif 1028-1028 | GUI slider is disjoint from scroll bar |
(documentation GUISlider EnglishLanguage "A GUISlider is an image of a slider on an InterfaceWindow with an indicator (GUISliderIndicator) that a user may move to shift a value up and down or within a list of values.") | ComputerInput.kif 1025-1027 | GUI slider is disjoint from scroll bar |
(partTypes GUISlider GUISliderIndicator) | ComputerInput.kif 1041-1041 | Every GUI slider is a part of a GUI slider indicator |
(subclass GUISlider GUIActiveArea) | ComputerInput.kif 1024-1024 | GUI slider is a subclass of GUI active area |
appearance as argument number 2 |
(termFormat EnglishLanguage GUISlider "GUI slider") | domainEnglishFormat.kif 64969-64969 |