equal
deleted
inserted
replaced
108 virtual void setElementVisibilityChanged(bool visibility) = 0; |
108 virtual void setElementVisibilityChanged(bool visibility) = 0; |
109 virtual bool elementVisibilityChanged() = 0; |
109 virtual bool elementVisibilityChanged() = 0; |
110 virtual bool elementVisibilityChangedByMouse() = 0; |
110 virtual bool elementVisibilityChangedByMouse() = 0; |
111 virtual bool elementVisibilityChangedByKey() = 0; |
111 virtual bool elementVisibilityChangedByKey() = 0; |
112 virtual void focusedElementChanged(Element*) = 0; |
112 virtual void focusedElementChanged(Element*) = 0; |
|
113 virtual void wait(double t) = 0; |
113 #endif |
114 #endif |
114 }; |
115 }; |
115 |
116 |
116 } |
117 } |
117 |
118 |