{
    "workbench.view.alwaysShowHeaderActions": true,
    "workbench.tree.renderIndentGuides": "none",
    "[pvs]": {
        "editor.wordSeparators": "`~!@#$%^&*()-=+[{]}|;:'\",.<>/"
    },
    "files.exclude": {
        "**/.git": true,
        "**/.svn": true,
        "**/.hg": true,
        "**/.DS_Store": true,
        "**/Thumbs.db": true,
        "**/*.???~": true,
        "**/.pvscontext": true,
        "**/pvsbin": true,
        "**/*.jprf": true,
        "**/*.prf": true,
        "**/orphaned-proofs.prf": true,
        "**/*_adt.pvs": false,
        "**/*.log": false,
        "**/.vscode": true
    },
    "files.readonlyInclude": {
        "**/*.tccs": true,
        "**/*.summary": true
    }
}
