eclipse4.5在Linux下标题栏显示过大的调整方法

来源:互联网 发布:兄弟绣花机软件 编辑:程序博客网 时间:2024/06/05 04:36

最近在安装了linux mint系统(17.3 cinnamon),安装了最新的eclipse4.5.1后,打开发现窗口的标题栏非常大,看起来很不协调。

这里写图片描述

上网直接搜索查了很多资料,大部分的解决方法都是在个人目录下建立.gtkrc-2.0文件……尝试了下,并没有什么效果。后来就google,在国外的网站上才知道了问题之所在,原来在linux系统下,eclipse从4.5开始就默认采用gtk3而不是之前的gtk2,这导致了界面显示上的不协调,据说eclipse4.6应该会修护这个问题。
现在的解决方法就是修改为默认采用gtk2,不需要在个人根目录新建.gtkrc-2.0。一般安装eclipse都是下载压缩文件然后解压到opt目录下,不会自动生成桌面快捷方式,一般需要自己建立,下面是我的桌面快捷方式的定义代码:
在/home/username/.local/share/applications目录下的eclipse.desktop:

[Desktop Entry]Encoding=UTF-8Type=ApplicationTerminal=falseExec=/opt/eclipse/eclipse --launcher.GTK_version 2Categories=Application;Development;Name=eclipseComment="Java Development IDE"Icon=/opt/eclipse/icon.xpm

关键地方在:Exec=/opt/eclipse/eclipse后面加上--launcher.GTK_version 2

喜欢在终端里通过命令启动的可以:

SWT_GTK3=0 /opt/eclipse/eclipse

通过上面两种方式启动后的效果图,比之前的舒服多了。

修改后的效果图

如果你觉得标题栏等控件还是不够小,可以在个人根目录下新建.gtkrc-2.0(默认情况下一般是没有的),复制如下内容重启即可(实在不行就注销重新登陆),会看到标题栏,工具栏会变得更小,个人觉得这样也不是很协调,直接通过上面两种方式修改为默认以gtk2启动后的效果最舒服:

style "gtkcompact" {font_name="Sans 9"GtkButton::default_border={0,0,0,0}GtkButton::default_outside_border={0,0,0,0}GtkButtonBox::child_min_width=0GtkButtonBox::child_min_heigth=0GtkButtonBox::child_internal_pad_x=0GtkButtonBox::child_internal_pad_y=0GtkMenu::vertical-padding=1GtkMenuBar::internal_padding=0GtkMenuItem::horizontal_padding=4GtkToolbar::internal-padding=0GtkToolbar::space-size=0GtkOptionMenu::indicator_size=0GtkOptionMenu::indicator_spacing=0GtkPaned::handle_size=4GtkRange::trough_border=0GtkRange::stepper_spacing=0GtkScale::value_spacing=0GtkScrolledWindow::scrollbar_spacing=0GtkExpander::expander_size=10GtkExpander::expander_spacing=0GtkTreeView::vertical-separator=0GtkTreeView::horizontal-separator=0GtkTreeView::expander-size=8GtkTreeView::fixed-height-mode=TRUEGtkWidget::focus_padding=0}class "GtkWidget" style "gtkcompact"style "gtkcompactextra" {xthickness=1ythickness=1}class "GtkButton" style "gtkcompactextra"class "GtkToolbar" style "gtkcompactextra"class "GtkPaned" style "gtkcompactextra"
0 0
原创粉丝点击
热门问题 老师的惩罚 人脸识别 我在镇武司摸鱼那些年 重生之率土为王 我在大康的咸鱼生活 盘龙之生命进化 天生仙种 凡人之先天五行 春回大明朝 姑娘不必设防,我是瞎子 两只耳朵嗡嗡响怎么办 耳朵长了个脓包怎么办 胸一个大一个小怎么办 把耳朵掏出血了怎么办 掏耳朵戳出血了怎么办 耳朵戳伤流血了怎么办 耳朵挖破出血了怎么办 耳朵让耳屎堵了怎么办 手被牙齿划破了怎么办 耳朵掏伤了很痛怎么办 掏伤耳朵发炎了怎么办 耳朵被掏发炎了怎么办 打的耳洞化脓了怎么办 打了耳洞流脓了怎么办 打了耳洞发炎怎么办 打了耳洞化脓了怎么办 3岁宝宝耳朵流脓怎么办 耳朵里面是湿的怎么办 耳朵里天天很痒怎么办 身上长湿疹很痒怎么办 嗓子干疼耳朵痒怎么办 上火了耳朵嗡嗡响怎么办 太阳凹颧骨外扩怎么办 4岁儿童脊柱侧弯怎么办 瘦的人得多囊怎么办 智齿刚长出来该怎么办 宝宝耳朵睡尖了怎么办 睡觉压的耳朵疼怎么办 月子里奶水越来越少怎么办 月子里生气回奶了怎么办 儿童疫苗本丢了怎么办 跖骨2-5骨折了怎么办 耳朵被水堵住了怎么办 耳朵一直流黄水怎么办 两个月宝宝脐疝怎么办 拔牙后一直渗血怎么办 耳朵滴药水堵了怎么办 刚打的耳洞化脓怎么办 耳朵进水了一直嗡嗡响怎么办 婴儿游泳呛水了怎么办 孩子游泳呛水了怎么办