【问题标题】:Visual Studio Code Theme Edit PHPVisual Studio Code 主题编辑 PHP
【发布时间】:2018-06-20 13:00:30
【问题描述】:

我正在从 Notepad++ 切换到 VS Code

目前困扰我的第一件事是在文件中,PHP 标记与 DIV 元素的颜色编码相同。我想将 PHP 标记的颜色更改为某种红色。

只使用默认的 VS Dark 主题。

TIA

【问题讨论】:

    标签: php visual-studio-code themes


    【解决方案1】:

    您也可以在您的用户设置中进行此更改。我添加了一些额外的自定义,用于加粗功能、关键字等......这些类型的更改应该放在用户设置文件中,而不是自定义特定的主题文件 - 因为升级主题时您的更改将丢失。

        "editor.tokenColorCustomizations": {
            "textMateRules": [
                {
                    "scope": [
                        "punctuation.section.embedded.begin.php",
                        "punctuation.section.embedded.end.php"
                    ],
                    "settings": {
                        "foreground": "#ff0000"
                    }
                },
                {
                    "scope": "keyword",
                    "settings": {
                        "fontStyle": "bold"
                    }
                },
                {
                    "scope": "storage",
                    "settings": {
                        "fontStyle": "bold"
                    }
                },
                {
                    "scope": "constant.language",
                    "settings": {
                        "fontStyle": "bold"
                    }
                },
                {
                    "scope": "support.class.builtin",
                    "settings": {
                        "fontStyle": "bold"
                    }
                }
            ]
        }
    

    【讨论】:

    • 完美,为我提供了比我想要的更多的东西,只需将这些复制到我的用户设置中,将我的标签更改为红色,还添加了一些其他很酷的东西
    【解决方案2】:

    就主题而言,VS Code 完全可以编辑。

    您要查找的文件位于:

    Microsoft VS Code\resources\app\extensions\theme-defaults\themes

    在 Windows 上搜索文件名 dark_vs.json 以在任何其他系统上找到它。

    您要更改的部分是:

    {
        "scope": [
            "punctuation.section.embedded.begin.php",
            "punctuation.section.embedded.end.php"
        ],
        "settings": {
            "foreground": "#569cd6"
        }
    }
    

    随意唱出foreground 的颜色,随心所欲。你也可以修改任何你喜欢的颜色。

    【讨论】:

      猜你喜欢
      • 2016-05-11
      • 1970-01-01
      • 2017-07-30
      • 1970-01-01
      • 1970-01-01
      • 2015-07-14
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      相关资源
      最近更新 更多