网上有已经给出了修改JSP字体的操作步骤,
Window->preferences->General->Appearance->Colors and Fonts->Basic->TextFont->右边按钮edit...
我按照上面的方法,在win中一下就成功的修改了jsp的字体,可是在debian下面怎么也修改不了,无论设成什么字体,jsp总是默认的10号字体,很小。
在网上查了很久都没有找到方法,只好自己摸索着来,终于叫我找到了方法。
Window->preferences->General->Appearance->Colors and Fonts->Basic->TextFont->右边按钮edit...
我按照上面的方法,在win中一下就成功的修改了jsp的字体,可是在debian下面怎么也修改不了,无论设成什么字体,jsp总是默认的10号字体,很小。
在网上查了很久都没有找到方法,只好自己摸索着来,终于叫我找到了方法。
在点击Colors and Fonts后,在设置界面的右下角Apply的左边有个Restore Defaults,点击之后,所有设置恢复到默认,再次Basic->TextFont->右边按钮edit...,设置之后JSP文件的字体就会变化了。
希望对大家有帮助。