主题

主题中的样式由 JLine 中的 AttributedString 提供。不幸的是，JLine 中的样式大多没有文档记录，但我们尝试在此介绍其一些功能。

在 JLine 中，样式规范是一个具有特殊格式的字符串。如果用逗号分隔，则可以多次给出规范。规范将定义前景色、背景色或其模式的颜色。特殊格式 <spec>:=<spec> 允许在后者规范中定义默认值，如果前者由于某种原因无效。

如果规范包含冒号，则其前一部分表示前景色或背景色，可能的值为 foreground、fg、f、background、bg、b、foreground-rgb、fg-rgb、f-rgb、background-rgb、bg-rgb 或 b-rgb。如果没有 rbg，则颜色值为允许的颜色名称，如 black、red、green、yellow、blue、magenta、cyan 或 white。颜色具有其简短格式 k、r、g、y、b、m、c 和 w。如果颜色以 ! 或 bright- 为前缀，则会自动应用亮模式。以 ~ 为前缀将从 JLine 内部 bsd 颜色表中解析。

如果期望 rgb 格式并且以 x 或 # 为前缀，则使用正常的十六进制格式。

如果规范包含特殊名称 default、bold、faint、italic、underline、blink、inverse、inverse-neg、inverseneg、conceal、crossed-out、crossedout 或 hidden，则样式会相应地更改为现有颜色。

如果规范是数字或用分号分隔的数字，则格式是 ansi ascii 代码的纯部分。