Karabiner-Elementsの設定（テンキーの"."の二度押しで","を入力する設定）

DoubleTap_period_To_comma.json

{
  "description": "Double tap 'keypad_period' to 'comma'",
  "extra_description_level": 1,
  "manipulators": [
    {
      "type": "basic",
      "from": { "key_code": "keypad_period" },
      "to": [
        { "key_code": "delete_or_backspace"},
        { "key_code": "comma" },
        {
          "set_variable": {
            "name": "press_period_key",
            "value": 0
          }
        }
      ],
      "conditions": [
        {
          "type": "variable_if",
          "name": "press_period_key",
          "value": 1
        }
      ]
    },
    {
      "type": "basic",
      "from": { "key_code": "keypad_period" },
      "to": [
        {
          "set_variable": {
            "name": "press_period_key",
            "value": 1
          }
        },
        { "key_code": "keypad_period" }
      ],
      "to_delayed_action": {
        "to_if_invoked": [
          {
            "set_variable": {
              "name": "press_period_key",
              "value": 0
            }
          }
        ],
        "to_if_canceled": [
          {
            "set_variable": {
              "name": "press_period_key",
              "value": 0
            }
          }
        ]
      },
      "conditions": [
        {
          "type": "variable_if",
          "name": "press_period_key",
          "value": 0
        }
      ]
    }
  ]
}