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