java改变字符串的字体

您所在的位置:网站首页 java改变字体 java改变字符串的字体

java改变字符串的字体

2023-08-16 07:30| 来源: 网络整理| 查看: 265

字体属性在您正在使用的GUI对象(JLabel等)中的Font对象上设置,而不是在String本身上.

编辑:

如果要向控制台添加格式,则必须在String本身中嵌入格式.为了使我的输出变为粗体,我需要执行以下操作:

System.out.println((char)27 +"[1m testing bold");

(char)27是一个转义序列,[后跟一组;不同格式类型的分隔值(见下文),后跟m.你需要玩这个.在我的Mac上,命令提示符以粗体显示,因为在我退出之前我没有重置为正常([0m]).

顺便说一下,这个信息从here开始提升.

一些属性:

0 Normal (clear all)

1 bold

2 dim

4 underline

5 blink

7 reverse

8 blank

9 overstrike

22 normal intensity (cancel bold and blank)

24 underline off

25 blink off

27 reverse off

28 blank off

29 overstrike off

30 black

31 red

32 green

33 yellow

34 blue

35 magenta

36 cyan

37 white

40 black background

41 red background

42 green background



【本文地址】


今日新闻


推荐新闻


CopyRight 2018-2019 办公设备维修网 版权所有 豫ICP备15022753号-3