首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >问答首页 >是否可以将属性名称设置为与WebStorm、PhpStorm等中的其他文本不同的字体?

是否可以将属性名称设置为与WebStorm、PhpStorm等中的其他文本不同的字体?
EN

Stack Overflow用户
提问于 2016-09-11 02:48:09
回答 1查看 140关注 0票数 1

我正在尝试生成这种效果,看看属性名称使用不同的字体样式时,如何在JetBrains IDE中实现此效果:

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2016-09-11 15:02:03

在JetBrains IDE的当前版本中,编辑器中的文本始终以单一字体显示。对于不同的元素,可以使用不同的字体样式,比如粗体和斜体,但不能使用完全不同的字体。

(考虑到不同的字体有不同的字母高度,当需要用另一种字体突出显示的文本在您正在编辑的文件中添加或删除时,允许这样做可能会导致奇怪的效果。)

票数 1
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/39429446

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档