GUE_MaximizedWindowState
|
|
appearance as argument number 1 |
(contraryAttribute GUE_MaximizedWindowState GUE_MinimizedState) | ComputerInput.kif 2055-2055 | |
(contraryAttribute GUE_MaximizedWindowState GUE_OffscreenState) | ComputerInput.kif 2056-2056 | |
(documentation GUE_MaximizedWindowState EnglishLanguage "An InterfaceWindow has a GUE_MaximizedWindowState if it is sized to cover the whole screen and is not minimized. A maximized window may still be completely covered. Only windows can have such a state.") | ComputerInput.kif 2045-2047 | |
(instance GUE_MaximizedWindowState GUElementState) | ComputerInput.kif 2044-2044 |
appearance as argument number 2 |
(contraryAttribute GUE_VerticallyMaximizedWindowState GUE_MaximizedWindowState) | ComputerInput.kif 2069-2069 | |
(termFormat EnglishLanguage GUE_MaximizedWindowState "GUE maximized window state") | domainEnglishFormat.kif 64908-64908 |
antecedent |
(=> (and (hasGUEState ?WIN1 GUE_UncoveredState) (hasGUEState ?WIN1 GUE_MaximizedWindowState) (screenOfGUIE ?WIN1 ?SCREEN) (instance ?WIN2 InterfaceWindow) (screenOfGUIE ?WIN2 ?SCREEN) (not (equal ?WIN1 ?WIN2))) (or (hasGUEState ?WIN2 GUE_CoveredState) (hasGUEState ?WIN2 GUE_PartiallyCoveredState) (hasGUEState ?WIN2 GUE_OffscreenState))) |
ComputerInput.kif 2120-2131 | |
(=> (and (hasGUEState ?WINDOW GUE_UncoveredState) (hasGUEState ?WINDOW GUE_MaximizedWindowState)) (hasGUEState ?WINDOW GUE_ActiveState)) |
ComputerInput.kif 2104-2108 | |
(=> (hasGUEState ?GUIE GUE_MaximizedWindowState) (instance ?GUIE InterfaceWindow)) |
ComputerInput.kif 2051-2053 |
consequent |
(=> (and (instance ?OPEN MaximizingGraphicalWindow) (patient ?OPEN ?WINDOW) (instance ?WINDOW InterfaceWindow)) (and (holdsDuring (EndFn (WhenFn ?OPEN)) (hasGUEState ?WINDOW GUE_MaximizedWindowState)) (holdsDuring (BeginFn (WhenFn ?OPEN)) (not (hasGUEState ?WINDOW GUE_MaximizedWindowState))))) |
ComputerInput.kif 2469-2478 | |
(=> (and (instance ?UNMAX UnmaximizingGraphicalWindow) (patient ?UNMAX ?WINDOW) (instance ?WINDOW InterfaceWindow)) (and (holdsDuring (BeginFn (WhenFn ?UNMAX)) (hasGUEState ?WINDOW GUE_MaximizedWindowState)) (holdsDuring (EndFn (WhenFn ?UNMAX)) (not (hasGUEState ?WINDOW GUE_MaximizedWindowState))))) |
ComputerInput.kif 2486-2495 |