public void onChangeFontSize(ChangeFontSizeEvent event)
{
FontSizer.setNormalFontSize(Document.get(), event.getFontSize());
}
});
FontSizeManager fontSizeManager = pFontSizeManager_.get();
FontSizer.setNormalFontSize(Document.get(), fontSizeManager.getSize());
// disable no handler assertions
AppCommand.disableNoHandlerAssertions();
// allow subclasses to initialize