💫 Customization

Extension settings

Manim Notebook provides some extension settings that you can tweak: just press Ctrl/Cmd + , in order to open the VSCode settings and search for Manim Notebook. As usual, you can adjust those settings for just your user, or a specific workspace or profile etc.

Keyboard shortcuts

We also provide many default keyboard shortcuts. See them in the Manim Notebook walkthrough (Manim Notebook: Open Walkthrough). Or simply press Ctrl/Cmd + k followed by Ctrl/Cmd + s to open the keyboard shortcuts editor and search for Manim Notebook.

Theming

• Customize the color of the Manim Cells in your settings.json file as described here in the VSCode docs. Why not go for a more red-ish color? 🎨

// https://stackoverflow.com/a/71962342/
// https://stackoverflow.com/a/77515370/
// Use `[*Light*]` to match themes whose name contains `Light` in them.
"workbench.colorCustomizations": {
    "[*Light*]": {
        "manimNotebookColors.baseColor": "#FF708A",
        "manimNotebookColors.unfocused": "#FFBFCC"
    },
    "[*Dark*]": {
        "manimNotebookColors.baseColor": "#FF708A",
        "manimNotebookColors.unfocused": "#804953"
    },
    "[*Light High Contrast*]": {
        "manimNotebookColors.baseColor": "#FF5473",
        "manimNotebookColors.unfocused": "#FFA3B6"
    },
    "[*Dark High Contrast*]": {
        "manimNotebookColors.baseColor": "#FF5473",
        "manimNotebookColors.unfocused": "#8C5660"
    }
}

See default blue-ish colors

// https://stackoverflow.com/a/71962342/
// https://stackoverflow.com/a/77515370/
// Use `[*Light*]` to match themes whose name contains `Light` in them.
"workbench.colorCustomizations": {
    "[*Light*]": {
        "manimNotebookColors.baseColor": "#2B7BD6",
        "manimNotebookColors.unfocused": "#DCE9F7"
    },
    "[*Dark*]": {
        "manimNotebookColors.baseColor": "#64A4ED",
        "manimNotebookColors.unfocused": "#39506B"
    },
    "[*Light High Contrast*]": {
        "manimNotebookColors.baseColor": "#216CC2",
        "manimNotebookColors.unfocused": "#C3DDF7"
    },
    "[*Dark High Contrast*]": {
        "manimNotebookColors.baseColor": "#75B6FF",
        "manimNotebookColors.unfocused": "#3C5878"
    }
}