void () { if (getActiveKeymapShortcuts(RUN_ANYTHING_ACTION_ID).getShortcuts().length == 0) { registerDblCtrlClick(); } else { if (ourDoubleCtrlRegistered) { ModifierKeyDoubleClickHandler.getInstance().unregisterAction(RUN_ANYTHING_ACTION_ID); ourDoubleCtrlRegistered = false; } } }