/*
 *                 Sun Public License Notice
 *
 * The contents of this file are subject to the Sun Public License
 * Version 1.0 (the "License"). You may not use this file except in
 * compliance with the License. A copy of the License is available at
 * http://www.sun.com/
 *
 * The Original Code is NetBeans. The Initial Developer of the Original
 * Code is Sun Microsystems, Inc. Portions Copyright 1997-2000 Sun
 * Microsystems, Inc. All Rights Reserved.
 */

package org.netbeans.modules.editor.options;

import java.awt.Color;
import java.awt.Insets;
import java.io.IOException;
import java.util.ArrayList;
import java.util.HashMap;
import java.util.Iterator;
import java.util.Map;

import org.netbeans.editor.Settings;
import org.netbeans.editor.SettingsNames;
import org.openide.xml.XMLUtil;

import org.w3c.dom.Document;
import org.w3c.dom.Element;
import org.w3c.dom.Node;
import org.w3c.dom.NodeList;
import org.w3c.dom.Text;
import java.awt.Dimension;


/** MIME Option XML file for Properties settings.
 *  Properties settings are loaded and saved in XML format
 *  according to EditorProperties-1_0.dtd.
 *  Properties is common name for all additional Editor settings like
 *  expert settings or simple boolean, integer, string, etc. properties type.
 *
 *  @author  Martin Roskanin
 *  @since 08/2001
 */
public class PropertiesMIMEOptionFile extends MIMEOptionFile{
    
    /** Elements */
    public static final String TAG_ROOT = "properties"; //NOI18N
    public static final String TAG_PROPERTY = "property"; //NOI18N
    
    /** Attributes */
    public static final String ATTR_NAME = "name"; //NOI18N
    public static final String ATTR_CLASS = "class"; //NOI18N
    public static final String ATTR_VALUE = "value"; //NOI18N
    
    /** File name of this MIMEOptionFile */
    static final String FILENAME = "properties"; //NOI18N
    
    public PropertiesMIMEOptionFile(BaseOptions base, Object proc) {
        super(base, proc);
    }

    /** Loads settings from XML file.
     * @param propagate if true - propagates the loaded settings to Editor UI */
    protected void loadSettings(boolean propagate){
        synchronized (Settings.class) {
            Document doc = dom;
            Element rootElement = doc.getDocumentElement();

            if (!TAG_ROOT.equals(rootElement.getTagName())) {
                // Wrong root element
                return;
            }

            properties.clear();

            NodeList prop = rootElement.getElementsByTagName(TAG_PROPERTY);
            for (int i=0;i