Thread:Extension talk:VisualEditor/Editing preformatted text/reply

I want to set up a wiki containing quite some pre-formatted text, having this issue with VisualEditor: preformatted text seems impossible to edit.

Already tried different combinations of Shift+Return, Alt+Return, etc :)