绿线下划线。我想更改选项卡标题的字体大小。
我怎样才能做到这一点？
最佳答案
Eclipse使用CSS进行样式设置，因此您可以按照here的说明根据需要修改CSS文件。
CSS文件位于
ECLIPSE_HOME/plugins/org.eclipse.platform_X.X.X_V.XXXX/css
选项卡标题的类名为 MPartStack 。
关于eclipse - 如何更改Eclipse编辑器选项卡标题的字体大小，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/17317674/