主题

当前的终端实现功能丰富,通常可以显示比纯文本更多内容。例如,文本可以被设置为粗体或具有不同的颜色。终端通常还可以显示来自 Unicode 表格的各种字符,例如表情符号,这些符号通常用于使 Shell 输出更美观。

Spring Shell 通过其主题框架支持这些功能,该框架包含两个部分,首先是样式可用于更改文本类型,其次是图形如何显示某些字符。然后将这两者组合成一个主题

有关主题内部结构的更多信息,请参见 主题

默认主题名为default,但可以使用属性spring.shell.theme.name进行更改。另一个名为dump的内置主题不使用颜色样式,并尝试不使用任何特殊图形。

通过覆盖设置修改现有样式。

static class MyStyleSettings extends StyleSettings {

	@Override
	public String highlight() {
		return super.highlight();
	}
}

通过覆盖设置修改现有图形。

static class MyFigureSettings extends FigureSettings {

	@Override
	public String error() {
		return super.error();
	}
}

要创建新主题,请创建一个ThemeSettings并提供您自己的样式图形实现。

static class MyThemeSettings extends ThemeSettings {

	@Override
	public StyleSettings styles() {
		return new MyStyleSettings();
	}

	@Override
	public FigureSettings figures() {
		return new MyFigureSettings();
	}
}

注册一个新的 bean Theme,您可以在其中返回自定义的ThemeSettings主题名称。

@Configuration
static class CustomThemeConfig {

	@Bean
	Theme myTheme() {
		return new Theme() {
			@Override
			public String getName() {
				return "mytheme";
			}

			@Override
			public ThemeSettings getSettings() {
				return new MyThemeSettings();
			}
		};
	}
}

如果要以编程方式创建 JLine 样式的字符串,则可以使用ThemeResolver来解析样式;如果要使字符更美观,则可以使用图形

@Autowired
private ThemeResolver resolver;

void resolve() {
	String resolvedStyle = resolver.resolveStyleTag(StyleSettings.TAG_TITLE);
	// bold,fg:bright-white

	AttributedStyle style = resolver.resolveStyle(resolvedStyle);
	// jline attributed style from expression above

	String resolvedFigure = resolver.resolveFigureTag(FigureSettings.TAG_ERROR);
	// character i.e. U+2716 Heavy Multiplication X Emoji, cross
}