let ignored_keys = ref
[
GdkKeysyms._Num_Lock ;
GdkKeysyms._Scroll_Lock ;
GdkKeysyms._Pause ;
GdkKeysyms._Shift_L ;
GdkKeysyms._Shift_R ;
GdkKeysyms._Control_L ;
GdkKeysyms._Control_R ;
GdkKeysyms._Caps_Lock ;
GdkKeysyms._Shift_Lock ;
GdkKeysyms._Meta_L ;
GdkKeysyms._Meta_R ;
GdkKeysyms._Alt_L ;
GdkKeysyms._Alt_R ;
GdkKeysyms._Super_L ;
GdkKeysyms._Super_R ;
GdkKeysyms._Hyper_L ;
GdkKeysyms._Hyper_R ;
GdkKeysyms._ISO_Lock ;
GdkKeysyms._ISO_Level2_Latch ;
GdkKeysyms._ISO_Level3_Shift ;
GdkKeysyms._ISO_Level3_Latch ;
GdkKeysyms._ISO_Level3_Lock ;
GdkKeysyms._ISO_Group_Shift ;
GdkKeysyms._ISO_Group_Latch ;
GdkKeysyms._ISO_Group_Lock ;
GdkKeysyms._ISO_Next_Group ;
GdkKeysyms._ISO_Next_Group_Lock ;
GdkKeysyms._ISO_Prev_Group ;
GdkKeysyms._ISO_Prev_Group_Lock ;
GdkKeysyms._ISO_First_Group ;
GdkKeysyms._ISO_First_Group_Lock ;
GdkKeysyms._ISO_Last_Group ;
GdkKeysyms._ISO_Last_Group_Lock ;
]