去除工作区数字和名字

这个设置指定了工作区按钮是否应该显示工作区编号。如果你想要工作区可以按顺序排列，同时又不想要编号前缀的话，这个设置会很有用。

当 strip_workspace_numbers 被设置为 yes 时，任何的被命名为 [n][:][NAME] 格式的工作区只会显示名字。举个例子，你可以使用罗马数字来替代普通数字作为你的工作区名，像是 1:I, 2:II, 3:III, 4:IV。

当 strip_workspace_name 被设置为 yes 时，任何的被命名为 [n][:][NAME] 格式的工作区只会显示编号。

默认情况下会在工作区按钮中显示整个名字。注意工作区名中的冒号是可选的，也就是说 [n][NAME] 也会被正确地去除名字和编号。

语法：

strip_workspace_numbers yes|no
strip_workspace_name yes|no

例子：

bar {
    strip_workspace_numbers yes
}