@Override
      public void activeKeymapChanged(@Nullable Keymap keymap) {
        if (keymap == null) {
          registerDblCtrlClick();
        }
        else {
          updateShortcut(KeymapManager.getInstance());
        }
      }
@Override
      public void activeKeymapChanged(@Nullable Keymap keymap)