InterfaceWindow |
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 | InterfaceWindow è una sottoclasse di GUIElement |
appearance as argument number 2 |
(disjoint Cursor InterfaceWindow) | ComputerInput.kif 1082-1082 | Cursor è disgiunto da InterfaceWindow |
(subclass PopupWindow InterfaceWindow) | ComputerInput.kif 1084-1084 | PopupWindow è una sottoclasse di InterfaceWindow |
(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 | ~{ hasGUEState GUIElement and GUE_NonVisibleState } ~{ hasGUEState GUIElement and GUE_ActiveState } ~{ GUIElement è un' istanza di InterfaceWindow } |