I cannot change the font size of package explorer in Eclipse

后端 未结 11 1036
佛祖请我去吃肉
佛祖请我去吃肉 2020-11-30 01:25

I try to change the font size of package explorer in Eclipse from menu WindowPreferencesGeneralAppearance, and I fail to change

11条回答
  •  生来不讨喜
    2020-11-30 02:05

    Thanks to Veger's reply, I successfully changed the font of my PHP Explorer in PHP Perspective (with PDT installed). The following CSS code,

        #org-eclipse-php-ui-explorer Tree {
           font-family: Consolas;
           font-size: 21px;
        }
    

    are added into my "eclipse-4.3\plugins\org.eclipse.platform_4.3.1.v20130911-1000\css\e4_default_win7.css" file.

    You may choose a different CSS file, depending on the theme you choose through PreferencesGeneralAppearance: "Theme" drop-down list).

提交回复
热议问题