|
|
   GUIActiveArea
|
|
|
| appearance as argument number 1 |
|
|
| (documentation GUIActiveArea EnglishLanguage "A GUIActiveArea is a (normally rectangular) GUIElement which a user can make active (change its state to GUI_ActiveState), select, and interact with.") | ComputerInput.kif 879-880 | |
| (subclass GUIActiveArea GUIElement) | ComputerInput.kif 878-878 |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?SELECT SelectingActiveArea) (patient ?SELECT ?ELEMENT) (instance ?ELEMENT GUIActiveArea)) (holdsDuring (BeginFn ?SELECT) (not (hasGUEState ?ELEMENT GUE_SelectedState)))) |
ComputerInput.kif 2203-2210 | |
| (=> (and (instance ?SELECT SelectingActiveArea) (patient ?SELECT ?ELEMENT) (instance ?ELEMENT GUIActiveArea)) (holdsDuring (EndFn ?SELECT) (hasGUEState ?ELEMENT GUE_SelectedState))) |
ComputerInput.kif 2215-2222 |
| consequent |
|
|
| (=> (instance ?ACT DraggingWithCursor) (exists (?GUIE) (and (patient ?ACT ?GUIE) (instance ?GUIE GUIActiveArea) (not (instance ?GUIE Cursor))))) |
ComputerInput.kif 1762-1768 | |
| (=> (instance ?ACT UserSignifiedGraphicalAction) (exists (?GUIE) (and (patient ?ACT ?GUIE) (instance ?GUIE GUIActiveArea)))) |
ComputerInput.kif 1709-1714 | |
| (=> (instance ?SELECT SelectingActiveArea) (exists (?ELEMENT) (and (instance ?ELEMENT GUIActiveArea) (holdsDuring (BeginFn ?SELECT) (hasGUEState ?ELEMENT GUE_ActiveState)) (patient ?SELECT ?ELEMENT)))) |
ComputerInput.kif 2190-2198 |
|
|
|