// ----------------------------------------------------------------------------
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;
}
// ----------------------------------------------------------------------------
public void setDrawSWFFont(DrawSWFFont font) {
font_names_.setSelected(font.getAWTFont().getFontName());
font_sizes_.setSelected(Integer.toString(font.getAWTFont().getSize()));
effect_buttons_[font.getEffect()].setSelected(true);
draw_font_ = font;
text_field_.setText(font.getText());
color_button_.setColor(font.getColor());
updatePreview();
}
// ----------------------------------------------------------------------------
public void setAttributes(AttributeSet a) {
attributes_ = new SimpleAttributeSet(a);
String name = StyleConstants.getFontFamily(a);
font_names_.setSelected(name);
int size = StyleConstants.getFontSize(a);
font_sizes_.setSelectedInt(size);
updatePreview();
}
