xmlEditor.undoLastAction ();
}
} );
// Creating editor scroll with preferred settings
final WebSyntaxScrollPane xmlEditorScroll = new WebSyntaxScrollPane ( xmlEditor, false );
// Applying editor theme after scroll creation
theme.apply ( xmlEditor );
// Start listening edits