if (ProgramInfo.getInstance().getSettings().getShowSearchButton()) {
mTextSearch = new TaskMenuAction(mFunctionGroup, mProgram, mSearchMenu,
this, "id_sea", mFindAsYouType);
}
ContextMenuIf lastEntry = null;
for (ContextMenuIf contextMenuIf : ContextMenuManager.getInstance()
.getAvailableContextMenuIfs(false, true)) {
if (contextMenuIf.getId().compareTo(SeparatorMenuItem.SEPARATOR) == 0) {
// avoid duplicate separators
if (lastEntry == null
|| lastEntry.getId().compareTo(SeparatorMenuItem.SEPARATOR) != 0) {
mFunctionGroup.add(Box.createRigidArea(new Dimension(0, 2)));
mFunctionGroup.add(new JSeparator());
mFunctionGroup.add(Box.createRigidArea(new Dimension(0, 2)));
lastEntry = contextMenuIf;
}