def orre_notifyAnimationEventHandled(self, menu): GUIScriptHandler.notifyAnimationEndHandled(menu)
def hide(self, menu): GUIScriptHandler.hide(menu)
def animateMenu(self, menu, animationName): GUIScriptHandler.animate(menu, animationName)
def show(self, menu): GUIScriptHandler.show(menu)