private static void updateShortcut(KeymapManager keymapManager) {
    if (!getActiveKeymapShortcuts(RUN_ANYTHING_ACTION_ID, keymapManager).hasShortcuts()) {
      registerDblCtrlClick();
    }
    else if (ourDoubleCtrlRegistered) {
      ModifierKeyDoubleClickHandler.getInstance().unregisterAction(RUN_ANYTHING_ACTION_ID);
      ourDoubleCtrlRegistered = false;
    }
  }
private static void updateShortcut(KeymapManager keymapManager)