|
|
   GUISlider
|
|
|
| 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 | |
| (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 64921-64921 |
|
|
|