|
What this is
Other links
The source code/* * 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 |
... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2021 Alvin Alexander, alvinalexander.com
All Rights Reserved.
A percentage of advertising revenue from
pages under the /java/jwarehouse
URI on this website is
paid back to open source projects.