// ----------------------------------------------------------------------------
private JPanel createFontSelection() {
JPanel panel = new JPanel(new GridLayout(1, 2, 10, 2));
panel.setBorder(new TitledBorder(new EtchedBorder(), "Font"));
FontLoader loader = FontLoader.getInstance();
font_names_ = new OpenList(loader.getFontNames(), "Name:");
panel.add(font_names_);
font_sizes_ = new OpenList(sizes_, "Size:");
panel.add(font_sizes_);
ListSelectionListener lsel =
new ListSelectionListener() {
public void valueChanged(ListSelectionEvent e) {
// System.out.println("MODIFICATION");
updatePreview();
}
};
font_sizes_.setSelected("24");
font_names_.setSelected(loader.getFontNames()[0]);
font_names_.addListSelectionListener(lsel);
font_sizes_.addListSelectionListener(lsel);
return panel;
}
// ----------------------------------------------------------------------------
protected void updatePreview() {
// FontContainer font = ((at.bestsolution.drawswf.fontdialog.FontContainer)
// font_names_.getSelectedObject());
// System.out.println("FONT:" + font_names_.getSelected() );
String name = font_names_.getSelected();
int size = font_sizes_.getSelectedInt();
if (size > 0 && name != null) {
Font real_font = FontLoader.getInstance().getFont(name, Font.PLAIN, size);
text_field_.setFont(real_font);
text_field_.repaint();
}
draw_font_ =
new DrawSWFFont(
text_field_.getFont(), effect_, text_field_.getText(), color_button_.getColor());
fireStateChanged();
}