13. preferencesSheets

<preferencesSheets
  name = NMTOKEN
>
  Content: [ insert | preferencesSheet ]+
</preferencesSheets>

<insert />

<preferencesSheet
  name = NMTOKEN
  label = non empty token
>
  Content: [ preferencesSheet ]*
</preferencesSheet>

Specifies a set of preferences sheets. This set contains references to preferencesSheet elements declared elsewhere in the GUI specification.

The insert child element may be used to extend the previous declaration of the set of preferences sheets. Without an insert child element, a new declaration for set "foo" is understood as being a redefinition of set "foo". The insert child element specifies where to insert the sheets found in the previous declaration. The insert element must be the first or the last child of a preferencesSheets.

Attributes:

name

Required. Unique name identifying the set of sheets in this GUI specification.

Example: standard preferences sheets:

  <preferencesSheets name="preferencesSheets">
    <preferencesSheet name="openOptions">
      <preferencesSheet name="webDAVOptions" />
      <preferencesSheet name="schemaCacheOptions" />
    </preferencesSheet>
    <preferencesSheet name="saveOptions" />
    <preferencesSheet name="printOptions" />
    <preferencesSheet name="editOptions" />
    <preferencesSheet name="viewOptions" />
    <preferencesSheet name="tools" label="Tools">1
      <preferencesSheet name="spellOptions" />
      <preferencesSheet name="spreadsheetOptions" />
    </preferencesSheet>
    <preferencesSheet name="windowOptions" />
    <preferencesSheet name="generalOptions" />
  </preferencesSheets>
1

Unlike all the other preferencesSheets, preferencesSheet "tools" is not implemented in Java™. It is created on the fly for grouping preferencesSheet "spellOptions" and preferencesSheet "spreadsheetOptions".