windows---->preferences---->General--->Appearance--->Colors and Fonts”，单击最后一个子菜单，找到“Basic--->Text Font”，并单击右侧的“Edit”按钮
