JupyterLab settings

Extensions.md

Recommended extensions

• @jupyterlab/katex-extension
• @arbennett/base16-mexico-light

keyboard_shortcuts.json

{
    "shortcuts": [
        {
            "command": "runmenu:run-all",
            "keys": [
                "R",
                "R"
            ],
            "selector": "[data-jp-kernel-user]:focus"
        },
        {
            "command": "runmenu:restart-and-run-all",
            "keys": [
                "0",
                "R"
            ],
            "selector": "[data-jp-kernel-user]:focus"
        }
    ]
}