第一步:进入设置窗口 windows -> preferences
第二步:进入修改字体的选项卡。 General -> Appearance -> Colors and Fonts
第三步:选中"Basic"子选项里的"Text Font"。
第四步:点右边那个"Edit"按钮,修改字体。
我亲自试过,肯定能行的。
Stellungnahme:Der Inhalt dieses Artikels wird freiwillig von Internetnutzern beigesteuert und das Urheberrecht liegt beim ursprünglichen Autor. Diese Website übernimmt keine entsprechende rechtliche Verantwortung. Wenn Sie Inhalte finden, bei denen der Verdacht eines Plagiats oder einer Rechtsverletzung besteht, wenden Sie sich bitte an admin@php.cn