[Exist-open] [ANN] eXide 3.2.0 - new XML serialization preferences

[Joe W. <jo...@gm...>]

Hi all,

eXide 3.2.0 is out, featuring a new fine-grained set of preferences
governing serialization. From the docs on this feature:

When loading XML documents from the database into an editor window, you can
> control common serialization parameters, such as whether indentation is
> automatically applied, whether XInclude elements are automatically
> expanded, and whether XML declarations are omitted. Set these preferences
> in “Edit > Preferences > Serialization.” Additional sets of these
> preferences apply to the download of XML documents via “File > Download”
> and to the serialization of XML documents included in application packages
> via “Application > Download app”. By default, indentation is turned on for
> opening and downloading files but is off for downloading EXPath Packages;
> XInclude expansion is turned off in all cases; and the XML declaration is
> omitted in all cases.


These defaults were chosen to match the behavior of previous versions of
eXide.

I posted <https://exist-db.slack.com/archives/CG2MRUZ35/p1637704952275700>
a screenshot of the Edit > Preferences window showing the new settings
to the eXist-db.org Slack #community channel (for an invite link, click on
the "Slack" link at https://github.com/eXist-db/exist#resources).

For additional background on this feature and what motivated it, see
https://github.com/eXist-db/eXide/pull/328.

To experiment with these new preferences, you don’t have to close the
Preferences window; the new settings are applied as soon as you check or
uncheck a checkbox. So it’s easy to test and see the results.

The new version is live in the public-repo and can be installed via
Dashboard > Package Manager. The full release notes and direct links to the
package can be found here:


   - public-repo
   <https://exist-db.org/exist/apps/public-repo/packages/eXide.html?eXist-db-min-version=5.2.0>
   - GitHub Releases <https://github.com/eXist-db/eXide/releases/tag/v3.2.0>


Joe