[
    {
        "keys": ["f5"],
        "command": "revert"
    }
]