编辑:对于通过搜索来到这个问题的任何人,您可以安装一个名为
Clearlooks Compact的Gnome主题来缩短Eclipse中的选项卡。这将释放大量的屏幕空间。您还可以查看以下答案,了解如何使标签更加水平地紧凑。
简短版本:如何制作一个简短版本的Eclipse的标签& Ubuntu中的工具栏?
我一直在寻找在谷歌修复这个问题,但没有成功。使用任何GTK主题,我仍然有同样的问题,这非常非常烦人,直到我停止使用Eclipse来支持gEdit。但是,从终端运行pylint之后。许多。次我决定我需要找到一个解决这个问题的解决方案与Eclipse,所以我可以让PyDev回来。这是标签的样子:
alt text http://c0496682.cdn.cloudfiles.rackspacecloud.com/big-tabs.png
正如你所看到的,标签不仅夸张,而且工具栏也是:底部的工具栏也是如此;底部窗格中的选项卡也是如此。总的来说,它正在吃很多屏幕空间,这是一个很难的项目,在17“屏幕上,任何建议/修复?