我正在尝试生成这种效果,看看属性名称使用不同的字体样式时,如何在JetBrains IDE中实现此效果:
发布于 2016-09-11 15:02:03
在JetBrains IDE的当前版本中,编辑器中的文本始终以单一字体显示。对于不同的元素,可以使用不同的字体样式,比如粗体和斜体,但不能使用完全不同的字体。
(考虑到不同的字体有不同的字母高度,当需要用另一种字体突出显示的文本在您正在编辑的文件中添加或删除时,允许这样做可能会导致奇怪的效果。)
https://stackoverflow.com/questions/39429446
复制相似问题