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 ;
    ]