MaximizingGraphicalWindow - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MaximizingGraphicalWindow EnglishLanguage "A UserSignifiedAction causing an InterfaceWindow to be expanded to cover the complete area of a ComputerScreen -- or possibly the complete vertical range of the screen if the window has a maximum width less than the screen-width. If the window being maximized is logically in front of any other window (which would normally be the case), this would also be a case of CoveringGraphicalWindow.")	ComputerInput.kif 2463-2467
(subclass MaximizingGraphicalWindow UserSignifiedGraphicalAction)	ComputerInput.kif 2462-2462	Maximizing graphical window is a subclass of user signified graphical action

appearance as argument number 2

domainEnglishFormat.kif 65204-65204

antecedent

(=>
    (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