|
|
   HoverBox
|
|
|
| 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 64998-64998 |
|
|
|