Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| VerticalScrollBar(vertical scroll bar) |
| appearance as argument number 1 |
|
| (subclass VerticalScrollBar ScrollBar) | ComputerInput.kif 980-980 | Vertical scroll bar is a subclass of scroll bar |
| (documentation VerticalScrollBar EnglishLanguage "A VerticalScrollBar is a vertical image of a slider on an InterfaceWindow with an indicator (ScrollBarBar) that a user may move to shift the image in the window up or down in cases in which the logical image is taller than the portion displayed in the window. The image may be pure text or may be graphics.") | ComputerInput.kif 981-984 | Vertical scroll bar is a subclass of scroll bar |
| (disjoint VerticalScrollBar HorizontalScrollBar) | ComputerInput.kif 985-985 | Vertical scroll bar is disjoint from horizontal scroll bar |
| appearance as argument number 2 |
|
|
| (partTypes ScrollBarUpArrowButton VerticalScrollBar) | ComputerInput.kif 1026-1026 | Every scroll bar up arrow button is a part of a vertical scroll bar |
| (partTypes ScrollBarDownArrowButton VerticalScrollBar) | ComputerInput.kif 1035-1035 | Every scroll bar down arrow button is a part of a vertical scroll bar |
| (termFormat EnglishLanguage VerticalScrollBar "vertical scroll bar") | domainEnglishFormat.kif 65693-65693 | Every scroll bar down arrow button is a part of a vertical scroll bar |
|