blob: 3788d8e2f80481d104e770787fa352a5648c18c9 [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<!--
Licensed to the Apache Software Foundation (ASF) under one
or more contributor license agreements. See the NOTICE file
distributed with this work for additional information
regarding copyright ownership. The ASF licenses this file
to you under the Apache License, Version 2.0 (the
"License"); you may not use this file except in compliance
with the License. You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing,
software distributed under the License is distributed on an
"AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
KIND, either express or implied. See the License for the
specific language governing permissions and limitations
under the License.
-->
<!--
Created on : December 12, 2007, 2:51 PM
Author : vstejskal
Description:
The vocabulary for an editor preferences file.
PUBLIC ID : -//NetBeans//DTD Editor Preferences 1.0//EN
SYSTEM ID : https://netbeans.org/dtds/EditorPreferences-1_0.dtd
-->
<!ELEMENT editor-preferences ( entry )* >
<!ATTLIST editor-preferences >
<!--
A single setting entry. Each setting is identified by its unique name and
has a value attached to it.
name: (String) A unique identifier of this setting.
value: (Any) The setting's value. In general editor preferences can have
values that are convertible to/from strings. The conversion methods
are those provided for primitive types in java. More specifically,
anything that can be get/set on java.util.prefs.Preferences can be
stored here. For other values the modules are required to provide
their own conversion to/from string and store the string value here.
Please note, that only one from the 'value', 'valueId' attributes
or 'value' child element can be used.
valueId: (String) A resource bundle key that will be used for reading the
value for this setting. This is primarily designed for modules
that use localized setting values. User changes will always be
stored in the 'value' attribute or subelement.
javaType: (String) Fully qualified name of a java class representing this
setting. This attribute is used purely for backwards compatibilty
reasons. If you are sure that all your clients and your own
code accesses this setting through MimeLookup and
java.util.prefs.Preferences then you don't need this.
category: (String) Determines the API stability of the setting. It can
be one of 'module' (the same as the API stability of a module declaring
this setting), 'private', 'deprecated'.
This attribute is ignored when loading settings, but should be
provided to indicate the availability of the setting for other
modules. If not specified or its value is not one of those listed
above the setting should be considered 'private'. Only modules that
'own' the setting should specify this attribute, if you are just supplying
value for a setting defined (owned) by somebody else do not specify this attribute.
remove: When 'true' this entry will be removed and all its
optional attributes and elements will be ignored.
-->
<!ELEMENT entry ( value? ) >
<!ATTLIST entry
name CDATA #REQUIRED
value CDATA #IMPLIED
valueId CDATA #IMPLIED
javaType CDATA #IMPLIED
category CDATA #IMPLIED
remove ( true | false ) "false"
xml:space ( default | preserve ) "default"
>
<!--
The value of a setting. If specified it should contain <![CDATA[...]]> section
with a value of the enclosing setting entry. If this is used the attributes
'value' and 'valueId' must not be specified.
-->
<!ELEMENT value ( #PCDATA ) >
<!ATTLIST value >