def do_key_press_event(self, event):
    if event.keyval == gtk.gdk.keyval_from_name('KP_Decimal'):
        event.keyval = int(gtk.gdk.unicode_to_keyval(ord(locale.localeconv(
            )['decimal_point'])))
How to transform a key pressed into a different one in pygtk