[Linux Mint的14纳迪亚]
打开一个外壳或探索窗口并导航至: /usr/share/themes/Mint-X/gtk-2.0/gtkrc
...这一切都是玩CSS的属性,并使填充值和宽度更小。
(注:我也做了对CSS IDE级别的一些小调整如下:)
窗口>首选项>常规>外观
我更换了所有的主题这个CSS入门:
/*
.MPartStack {
swt-tab-renderer: null;
swt-selected-tabs-background: #FFFFFF #ECE9D8 100%;
swt-simple: false;
swt-mru-visible: true;
}
*/
.MPartStack {
font-size: 9;
font-family: "Droid Sans";
swt-simple: false;
swt-mru-visible: false;
}
然后选择较小的字体:
窗口>首选项>常规>外观>颜色和字体
打开以显示Java项目并选择Java Editor Text字体
单击编辑并选择一个更小和更好的字体。
玩得开心,希望它有帮助!