String fontName[]=ge.getAvailableFontFamilyNames();
public void itemStateChanged(ItemEvent e)
{
String name=list.getSelectedItem();
Font f=new Font(name,Font.PLAIN,15);
area.setFont(f);
}
else if(e.getSource()==item8) //设置字形(常规,倾斜,加粗)
{
Font font=area.getFont();
int style=font.getStyle();
style=style^0;
area.setFont(new Font("",style,font.getSize()));
}
else if(e.getSource()==item9)
{
Font font=area.getFont();
int style=font.getStyle();
style=style^2;
area.setFont(new Font("",style,font.getSize()));
}
else if(e.getSource()==item10)
{
Font font=area.getFont();
int style=font.getStyle();
style=style^1;
area.setFont(new Font("",style,font.getSize()));
}
else if(e.getSource()==item11) //设置字体大小
{
Font font=area.getFont();
int style=font.getStyle();
area.setFont(new Font(font.getName(),style,12));
}