// ---------------------------------------------------------------------------- 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(); }