Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   GUISliderIndicator
|
|
|
| appearance as argument number 1 |
|
|
| (subclass GUISliderIndicator GUIActiveArea) | ComputerInput.kif 1052-1052 | GUI slider indicator is a subclass of GUI active area |
| (documentation GUISliderIndicator EnglishLanguage "A GUISliderIndicator is an image of an indicator on an GUISlider that a user may move to shift the image in the window up and down or right and left in cases in which the logical image is larger than the portion displayed in the window. The image may be pure text or may be graphics.") | ComputerInput.kif 1053-1056 | GUI slider indicator is a subclass of GUI active area |
| (disjoint GUISliderIndicator ComputerMenu) | ComputerInput.kif 1058-1058 | GUI slider indicator is disjoint from computer menu |
| (disjoint GUISliderIndicator ScrollBar) | ComputerInput.kif 1059-1059 | GUI slider indicator is disjoint from scroll bar |
| (disjoint GUISliderIndicator ScrollBarBar) | ComputerInput.kif 1060-1060 | GUI slider indicator is disjoint from scroll bar bar |
| appearance as argument number 2 |
|
|
| (partTypes GUISlider GUISliderIndicator) | ComputerInput.kif 1057-1057 | Every GUI slider is a part of a GUI slider indicator |
| (termFormat EnglishLanguage GUISliderIndicator "GUI slider indicator") | domainEnglishFormat.kif 64925-64925 | Every GUI slider is a part of a GUI slider indicator |
|