腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
返回腾讯云官网
如何更改Eclipse编辑器选项卡标题的字体大小
关注问题
社区首页
>
问答首页
>
如何更改Eclipse编辑器选项卡标题的字体大小
问
如何更改Eclipse编辑器选项卡标题的字体大小
EN
Stack Overflow用户
提问于 2013-06-26 18:32:07
回答 2
查看 15.1K
关注 0
票数 22
它用一条绿色的线加下划线。我想更改选项卡标题的字体大小。
我该怎么做呢?
eclipse
关注问题
分享
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:
https://stackoverflow.com/questions/17317674
复制
相关文章
相似问题
领券
问题归档
专栏文章
快讯文章归档
关键词归档
开发者手册归档
开发者手册 Section 归档