【发布时间】:2014-03-02 10:48:53
【问题描述】:
我最近从 Eclipse 3.7“升级”到了 3.8,但我错过了 IDE 上的 PROGRESS ON STARTUP 和 ENHANCED STYLE 选项卡。
谁能指出我在哪里可以更改这些配置?
检查了以下插件的 plugin_customization.ini:
org.eclipse.sdk_3.8.2.v201301310800
org.eclipse.platform_3.8.2.v201301310800
发现:
org.eclipse.ui/SHOW_TRADITIONAL_STYLE_TABS=假
org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP=真
那么,这是 Eclipse 3.8 BUG 还是我遗漏了什么?
谢谢。
【问题讨论】:
标签: eclipse configuration ide progress-bar startup