InterfaceWindow(interface window) | window |
appearance as argument number 1 |
(documentation InterfaceWindow EnglishLanguage "An InterfaceWindow is a GUIElement that covers a (normally rectangular region of a computer screen. Each window has an image which covers its whole area and a level of transparency. A region of the screen may be covered by one or more InterfaceWindows in a specified order with the ``top'' window visible, and those sequentially underneigth visible only to the extent that the window(s) above them are partially or wholely transparent. An interface window is ``active'' if the state of the GUI is such that user input is automatically set to it.") | ComputerInput.kif 1076-1081 | |
(subclass InterfaceWindow GUIElement) | ComputerInput.kif 1075-1075 | Interface window is a subclass of GUI element |
appearance as argument number 2 |
(disjoint Cursor InterfaceWindow) | ComputerInput.kif 1082-1082 | Cursor is disjoint from interface window |
(subclass PopupWindow InterfaceWindow) | ComputerInput.kif 1084-1084 | Popup window is a subclass of interface window |
(termFormat EnglishLanguage InterfaceWindow "interface window") | domainEnglishFormat.kif 65036-65036 |
antecedent |
consequent |
statement |
(not (and (hasGUEState ?WINDOW GUE_NonVisibleState) (hasGUEState ?WINDOW GUE_ActiveState) (instance ?WINDOW InterfaceWindow))) |
ComputerInput.kif 2011-2015 | ~{ A GUI element has state GUE non visible state } or ~{ the GUI element has state GUE active state } or ~{ the GUI element is an instance of interface window } |