int tab = ((Integer) tabVector.get(i)).intValue();
String text = (String) textVector.get(i);
tableWidth += width;
menuCell.setWidth(width);
Font menuTitle = new Font().setSize(2).setFace("Arial, Helvetica, sans-serif");
if(tab != 0) {
A linkElement = new A("EmptyPage" /*
* + "?" + EmptyPage.MODULE + "=" + module +
* "&" + EmptyPage.MENU + "=" + tab + "&" +
* EmptyPage.TITLE + "=" +
* URLEncoder.encode(text,
* environment.getCharsetWWW())
*/)
.setTarget("main")
.addElement(text);
String menuScriptName = MENU_NAME_BASE + tab;
linkElement.setOnClick("return openMenu(" + menuScriptName + ")");
menuCell.addElement(menuTitle.addElement(linkElement));
} else
menuCell.addElement(menuTitle.addElement(text).setColor(DISABLED_COLOR));
menuRow.addElement(menuCell);
}
menuTable.addElement(menuRow).setWidth(tableWidth + 2); // Don't ask me where the '+2'
// comes from, but the last