Skip to content

Instantly share code, notes, and snippets.

@johanvergeer

johanvergeer/README.md

Last active January 31, 2021 12:45
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save johanvergeer/f2280cb1403b65751ad3047a515c67a1 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save johanvergeer/f2280cb1403b65751ad3047a515c67a1 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. johanvergeer revised this gist Jan 31, 2021. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion settings.json
    View file
    Original file line number Diff line number Diff line change
    @@ -7,7 +7,7 @@

    "settings.cycle": [
    {
    "id": "presentation", // must be unique
    "id": "presentation",
    "overrideWorkspaceSettings": false,
    "values": [
    {
  2. johanvergeer revised this gist Jan 31, 2021. 2 changed files with 5 additions and 3 deletions.
    2 changes: 2 additions & 0 deletions README.md
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,2 @@
    - Settings use the [Dainty theme](https://marketplace.visualstudio.com/items?itemName=alexanderte.dainty-vscode) for VS Code
    - The used font family is [Jetbrains Mono](https://www.jetbrains.com/lp/mono/)
    6 changes: 3 additions & 3 deletions settings.json
    View file
    Original file line number Diff line number Diff line change
    @@ -1,8 +1,8 @@
    {
    "workbench.colorTheme": "Dainty – Material Theme Ocean", // See https://marketplace.visualstudio.com/items?itemName=alexanderte.dainty-vscode
    "workbench.colorTheme": "Dainty – Material Theme Ocean",
    "files.autoSave": "onFocusChange",
    "terminal.integrated.fontFamily": "Jetbrains Mono", // See https://www.jetbrains.com/lp/mono/
    "editor.fontFamily": "Jetbrains Mono", // See https://www.jetbrains.com/lp/mono/
    "terminal.integrated.fontFamily": "Jetbrains Mono",
    "editor.fontFamily": "Jetbrains Mono",
    "editor.suggest.showStatusBar": false,

    "settings.cycle": [
  3. johanvergeer created this gist Jan 31, 2021.
    6 changes: 6 additions & 0 deletions keybindings.json
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,6 @@
    [
    {
    "key": "F4",
    "command": "settings.cycle.presentation",
    }
    ]
    38 changes: 38 additions & 0 deletions settings.json
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,38 @@
    {
    "workbench.colorTheme": "Dainty – Material Theme Ocean", // See https://marketplace.visualstudio.com/items?itemName=alexanderte.dainty-vscode
    "files.autoSave": "onFocusChange",
    "terminal.integrated.fontFamily": "Jetbrains Mono", // See https://www.jetbrains.com/lp/mono/
    "editor.fontFamily": "Jetbrains Mono", // See https://www.jetbrains.com/lp/mono/
    "editor.suggest.showStatusBar": false,

    "settings.cycle": [
    {
    "id": "presentation", // must be unique
    "overrideWorkspaceSettings": false,
    "values": [
    {
    "workbench.statusBar.visible": false,
    "workbench.activityBar.visible": false,
    "editor.hideCursorInOverviewRuler": true,
    "editor.overviewRulerBorder": false,
    "editor.fontSize": 36,
    "terminal.integrated.fontSize": 36,
    "workbench.editor.showTabs": false,
    "editor.lineNumbers": "off",


    },
    {
    "workbench.statusBar.visible": true,
    "workbench.activityBar.visible": true,
    "editor.hideCursorInOverviewRuler": false,
    "editor.overviewRulerBorder": true,
    "editor.fontSize": 13,
    "terminal.integrated.fontSize": 13,
    "workbench.editor.showTabs": true,
    "editor.lineNumbers": "on",
    }
    ]
    }
    ],
    }