HoverBox(hover box) |
appearance as argument number 1 |
(documentation HoverBox EnglishLanguage "A HoverBox is a PopupWindow that temporarily appears when the cursor is within a HoverBoxActiveArea.") | ComputerInput.kif 1092-1093 | |
(subclass HoverBox PopupWindow) | ComputerInput.kif 1091-1091 | Hover box is a subclass of popup window |
appearance as argument number 2 |
(termFormat EnglishLanguage HoverBox "hover box") | domainEnglishFormat.kif 65044-65044 |