[
    { "button": "button8", "command": "jump_back" },
    {
        "button": "button9",
        "count": 1,
        "press_command": "drag_select",
        "command": "goto_definition"
    },
    {
        "button": "button9",
        "count": 1,
        "modifiers": ["ctrl"],
        "press_command": "drag_select",
        "command": "goto_python_definition"
    },

    // History
    { "button": "scroll_right", "modifiers": ["ctrl"], "command": "undo" },
    { "button": "scroll_left", "modifiers": ["ctrl"], "command": "redo" }
]