commands.toggleFullScreen().remove();
}
eventBus_.addHandler(ActivatePaneEvent.TYPE, this);
eventBus_.addHandler(ShowEditorEvent.TYPE, edit);
eventBus_.addHandler(ChangeFontSizeEvent.TYPE, new ChangeFontSizeHandler()
{
public void onChangeFontSize(ChangeFontSizeEvent event)
{
FontSizer.setNormalFontSize(Document.get(), event.getFontSize());
Scheduler.get().scheduleDeferred(new ScheduledCommand()