|
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.