';
if (isset($menu['visible'][$pid]) && $menu['visible'][$pid]['children']) {
foreach ($menu['visible'][$pid]['children'] as $mid) {
$type = isset($menu['visible'][$mid]['type']) ? $menu['visible'][$mid]['type'] : NULL;
$children = isset($menu['visible'][$mid]['children']) ? $menu['visible'][$mid]['children'] : NULL;
if ($children)
{
if (menu_in_active_trail($mid))
{
$display = 'block';
$overMenuDefault = $mid;
}
else
{
$display = 'none';
}
$sub_menu.= '';
}
$output .= ''. menu_item_link($mid) ."\n";
}
}
$output .= '';
$output .= $sub_menu;
$block['content'] = $output;
drupal_add_js("overMenuDefault = 'double-menu-sub-menu".$overMenuDefault."';", 'inline');
drupal_add_js(drupal_get_path('module', 'double_menu').'/double_menu.js');
return $block;
break;
case 'configure':
$options = menu_parent_options(0);
$form['double_menu_menu_root'] = array('#type' => 'select',
'#title' => t('Menu root'),
'#default_value' => variable_get('double_menu_menu_root', 1),
'#options' => $options,
);
return $form;
case 'save':
variable_set('double_menu_menu_root', (int) $edit['double_menu_menu_root']);
break;
}
}