VerticalWindowScrolling(vertical window scrolling) |
appearance as argument number 1 |
(documentation VerticalWindowScrolling EnglishLanguage "VerticalWindowScrolling consists of scrolling the image in a frame up or down. Such a scrolling direction is commonly used for text.") | ComputerInput.kif 1811-1812 | |
(subclass VerticalWindowScrolling WindowScrolling) | ComputerInput.kif 1810-1810 | Vertical window scrolling is a subclass of window scrolling |
appearance as argument number 2 |
(termFormat EnglishLanguage VerticalWindowScrolling "vertical window scrolling") | domainEnglishFormat.kif 65716-65716 |
statement |
(udaCanSignify (PressingKeyFn DownArrowKey) (IntersectionFn VerticalWindowScrolling WindowScrollingByUser)) |
ComputerInput.kif 1815-1816 | Pressing the down arrow key key isgnifies the union of vertical window scrolling and window scrolling by user |
(udaCanSignify (PressingKeyFn UpArrowKey) (IntersectionFn VerticalWindowScrolling WindowScrollingByUser)) |
ComputerInput.kif 1813-1814 | Pressing the up arrow key key isgnifies the union of vertical window scrolling and window scrolling by user |