在 Sublime Text 3 中更改标签条的字体大小答案

【问题标题】：Changing font size of tabs strip in Sublime Text 3在 Sublime Text 3 中更改标签条的字体大小
【发布时间】：2014-10-28 00:39:49
【问题描述】：

我使用了this answer，在Sublime 3 Help 的帮助下，我设法在我的 Sublime Text 3 中移植了解决方案并更改了侧边栏的字体大小（和其他属性）。

但是如何更改（更大）ST3 选项卡条使用的字体大小？如果有可能的话。我发现以 10 pt 字体大小绘制的文件名选项卡在全高清分辨率屏幕上不太舒服。至少对我的眼睛来说。

【问题讨论】：

标签： sublimetext3

【解决方案1】：

如您链接到的答案中所述，找到您的 <theme>.sublime-theme 文件。打开它并搜索tab_label。该部分应如下所示：

{
    "class": "tab_label",
    "font.size": 12, 
    "font.face": "Ubuntu"
},

根据您的喜好修改并保存文件。您应该会立即看到更改。

要更改标签尺寸，您可以使用以下部分：

{
    "class": "tabset_control",
    "tab_height": 42,
    "tab_width": 160,
    "tab_min_width": 48
},

注意：较大的字体大小（例如我的系统上 > 12pt）将被截断，即使标签高度已相应调整。 This is a well-known bug.

【讨论】：

感谢您的启发性回答。通过做一些实验，我设法弄清楚，侧边栏也会出现同样的错误。当为侧边栏设置font.size 属性的值高于15.0 时，其上的条目也会被截断。
@Glutanimate <theme>.sublime-theme 文件在哪里？在 ST3 中找不到它。
@AlanH -- 阅读这个答案，您可以使用 PackageResourceViewer 找到它。 stackoverflow.com/a/23046654/209003

【解决方案2】：

在您的 Preferences.sublime-settings 中设置以下内容

"dpi_scale": 2.0

【讨论】：

需要重启才能生效。
这为我解决了一切。谢谢。正如理查德所说 - 你需要重新启动才能生效。
在 Sublime 3.2.1 中，设置为"ui_scale"。对我来说，1.6 的值就足够了。

【解决方案3】：

更改选项卡文本的字体大小而不切断选项卡文本的底部。使用 @Glutanimate 的解决方案开始。然后你将不得不调整 dpi 设置。我在网上看到了许多解决截断文本问题的方法，只需将 dpi_scale 更改为 1.0 或 2.0 或特定值。

您实际需要做的是以增量方式更改 dpi 值，以使文本不会因您选择的字体而被截断。所以我安装了 Fira Code 字体，为了让我的文本不被截断，我使用了 1.01 的 dpi 值：以下是我的 Preferences.sublime-settings 文件的全部内容在可以从 sublime 首选项菜单访问的 Packages->User 文件中。

{
	"color_scheme": "Packages/Color Scheme - Default/Monokai.tmTheme",
	"font_face": "Fira Code",
	"font_size": 15,
    "dpi_scale": 1.01,
	"ignored_packages":
	[
		"Vintage"
	],
	"line_padding_bottom": 5,
	"translate_tabs_to_spaces": true
}

注意下面截图中的文字没有被截断，我的字体大小设置为 14：

【讨论】：

【解决方案4】：

截至 2020 年 12 月，上述引用 dpi_scale 设置的答案确实不有效（使用 Sublime Text 3.2.2）。此设置的名称已更改为 ui_scale。

转到Preferences | Settings

然后添加以下内容（根据需要更改 1.3）。

   "ui_scale": 1.3

更改此设置后，您需要重新启动 Sublime。

感谢@Marco Sulla 上面的正确回复（它只是隐藏在评论中）。

也很有帮助：

安装PackageDev plugin
这使得通过PackageDev: Edit Current Theme编辑您当前的主题变得非常容易

您还可以通过将以下规则添加到当前主题来将 Tab 字体设置为粗体：

{
    "rules": [
        {
            "class": "tab_label",
            "font.bold": true,
            "font.size": 14
        }
    ]
}

【讨论】：