|
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.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;
/** MIME Option XML file for Abbreviations settings.
* Abbreviations settings are loaded and saved in XML format
* according to EditorAbbreviations-1_0.dtd.
*
* @author Martin Roskanin
* @since 08/2001
*/
public class AbbrevsMIMEOptionFile extends MIMEOptionFile{
/** Elements */
public static final String TAG_ROOT = "abbrevs"; //NOI18N
public static final String TAG_ABBREV = "abbrev"; //NOI18N
/** Attributes */
public static final String ATTR_KEY = "key"; //NOI18N
public static final String ATTR_ACTION = "action"; //NOI18N
public static final String ATTR_REMOVE = "remove"; //NOI18N
public static final String ATTR_XML_SPACE = "xml:space"; //NOI18N
public static final String VALUE_XML_SPACE = "preserve"; //NOI18N
/** File name of this MIMEOptionFile */
static final String FILENAME = "abbreviations"; //NOI18N
public AbbrevsMIMEOptionFile(BaseOptions base, Object proc) {
super(base, proc);
}
/** Loads settings from XML file.
* @param propagate if true - propagates the loaded settings to Editor UI */
protected synchronized void loadSettings(boolean propagate){
Document doc = dom;
Element rootElement = doc.getDocumentElement();
if (!TAG_ROOT.equals(rootElement.getTagName())) {
// Wrong root element
return;
}
// gets current abbreviations map
Map abbrevsMap = (Map)Settings.getValue(base.getKitClass(), SettingsNames.ABBREV_MAP);
Map mapa = (abbrevsMap==null) ? new HashMap() : new HashMap(abbrevsMap);
properties.clear();
NodeList abbr = rootElement.getElementsByTagName(TAG_ABBREV);
for (int i=0;i |
| ... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2024 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.