GUE_VerticallyMaximizedWindowState
|
|
appearance as argument number 1 |
(contraryAttribute GUE_VerticallyMaximizedWindowState GUE_MaximizedWindowState) | ComputerInput.kif 2069-2069 | |
(contraryAttribute GUE_VerticallyMaximizedWindowState GUE_MinimizedState) | ComputerInput.kif 2070-2070 | |
(contraryAttribute GUE_VerticallyMaximizedWindowState GUE_OffscreenState) | ComputerInput.kif 2071-2071 | |
(documentation GUE_VerticallyMaximizedWindowState EnglishLanguage "An InterfaceWindow has a VerticallyMaximizedWindowState if it is sized to cover the whole screen in the vertical direction, has a fixed (and maximum for its program) width that is less than the screen width, and is not minimized. A vertically maximized window may still be completely covered. Only windows can have such a state.") | ComputerInput.kif 2059-2062 | |
(instance GUE_VerticallyMaximizedWindowState GUElementState) | ComputerInput.kif 2058-2058 |
appearance as argument number 2 |
(termFormat EnglishLanguage GUE_VerticallyMaximizedWindowState "GUE vertically maximized window state") | domainEnglishFormat.kif 64917-64917 |
antecedent |
(=> (hasGUEState ?GUIE GUE_VerticallyMaximizedWindowState) (instance ?GUIE InterfaceWindow)) |
ComputerInput.kif 2065-2067 |