protected void copy(EditorConfiguration src, EditorConfiguration dst) {
dst.title = src.title;
dst.mimeType = src.mimeType;
Enumeration styleNames = src.styleContext.getStyleNames();
if (src.styleContext == dst.styleContext) dst.styleContext = new StyleContext();
while (styleNames.hasMoreElements()) {
String sname = (String) styleNames.nextElement();
Style style = src.styleContext.getStyle(sname);
Style newStyle = dst.styleContext.addStyle(sname, null);
newStyle.addAttributes(style.copyAttributes());
}
styleNames = dst.styleContext.getStyleNames();
while (styleNames.hasMoreElements()) {
String sname = (String) styleNames.nextElement();
Style style = src.styleContext.getStyle(sname);
AttributeSet resolveParent = style.getResolveParent();
Style parent = (Style) resolveParent;
if (parent != null) {
dst.styleContext
.getStyle(sname)
.setResolveParent(dst.styleContext.getStyle(parent.getName()));
}
}
}
