// currently we cannot tell, fix when VBM:2005092701 is fixed
Styles styles = menu.getElementDetails().getStyles();
styles.getPropertyValues().setComputedValue(
StylePropertyDetails.WHITE_SPACE,
WhiteSpaceKeywords.NOWRAP);
Element element = buffer.openStyledElement(
WMLConstants.BLOCH_ELEMENT, styles);
// Open a select for the menu.
element = buffer.openElement("select");
if (menu.getTitle() != null) {