Tkinter Event Types

[codecraig]

Hi,
  When I do something like.

s = Scale(master)
s.bind("<ENTER>", callback)

def callback(self, event):
    print event.type

I see "7" printed out.  Where are these constants defined for various
event types?  Basically i want to do something like...

def callback(self, event):
    if event.type == ENTER:
        print "You entered"

thanks