JTabbedPane tabbedPane = new JTabbedPane();
tabbedPane.setFont(new Font("SansSerif", Font.PLAIN, 10));
xmlArea.setSelectionColor(selectedColor);
xmlArea.setEditable(true);
xmlArea.setFont(new Font("Monospaced", Font.PLAIN, 12));
textModel = new DOMTextModel(xmlArea, document);
// ((EventTarget)this.xmlArea).addEventListener("Modified", this, false);
xmlArea.setCaretPosition(0);
JScrollPane xmlView = new JScrollPane(xmlArea);
xmlView.setPreferredSize(new Dimension(200, 150));