def widgetMouseMoved(widget, x, y, button):
#Warning: Don't do anything too intensive here
#You don't want to run some complex piece of code everytime the mouse moves
global hidden
global counter
if (hidden==1):
karamba.moveWidget(widget, 0, 0)
hidden = 0
counter = 0
def widgetUpdated(widget):
global hidden
global counter
if hidden == 0:
counter = counter + 1
if (counter > 5):
hidden = 1
karamba.moveWidget(widget, 0, -210)
