Users were not able to save segments with changed whitespace tags, since the corresponding configuration which allows this was not loaded properly.
Description
problem
In public/modules/editor/js/app/view/segments/HtmlEditor.js the config userCanModifyWhitespaceTags is still loaded from Editor.data instead via Editor.app.getTaskConfig(), see line
ignoreWhitespace = Editor.data.segments.userCanModifyWhitespaceTags;