Skip to content

multi-key shortcuts with different modifiers in each don't work #7702

@amosbird

Description

@amosbird

Description

commands.addKeyBinding({
    selector: '.jp-Notebook.jp-mod-editMode',
    keys: ['Ctrl C', 'Shift P'], // <<--- doesn't work
    command: 'paste-above-cell-and-edit'
});

commands.addKeyBinding({
    selector: '.jp-Notebook.jp-mod-editMode',
    keys: ['Ctrl C', 'Ctrl P'], // <<--- works
    command: 'paste-above-cell-and-edit'
});


{
    "shortcuts": [
                {
            "command": "notebook:extend-marked-cells-above",
            "keys": [
                "Ctrl Shift D", "Ctrl Shift F"  // works too
            ],
            "selector": ".jp-Notebook:focus"
        },
    ]
}

@telamonian mentioned in gitter that "It looks like we don't support multi-key shortcuts in which you have to change modifier keys."

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions