}
});
editor.addChangeHandler(new ChangeHandler() {
@Override
public void onChange(ChangeEvent event) {
CommandEvent.fire(new CurrentDocumentChangedCommand());
}
});
previewer = new PreviewerPart();
VerticalPanel headerPanel = new VerticalPanel();
headerPanel.setWidth("100%");