protected void waitForEditorToLoad()
{
final String sourceTabSelected = "//div[@class = 'gwt-TabBarItem gwt-TabBarItem-selected']/div[. = 'Source']";
final String richTextArea = "//div[@class = 'xRichTextEditor']";
final String richTextAreaLoader = richTextArea + "//div[@class = 'loading']";
new Wait()
{
public boolean until()
{
// Either the source tab is present and selected and the plain text area can be edited or the rich text
// area is not loading (with or without tabs).