Hi, I chose a different and maybe flexible solution.
Also in menu.php I added a condition to display the menu item. This checks if the name of the menu item starts with the # character. I does so, the item won't be displayed. In editing mode nothing changed. See below:
while ($i<$num){
$menu_pages_menu_title=mysql_result($result,$i,"pages_menu_title");
$menu_pages_uri=mysql_result($result,$i,"pages_uri");
$menu_pages_id=mysql_result($result,$i,"pages_id");
if ($menu_pages_menu_title[0] <> "#") {
if ($i<>0) echo $menu_item_divider;
echo "<a class='menu' href='http://" . $site_uri . "/index.php?pages_id=" . $menu_pages_id . "&t=" . $menu_pages_uri . "'>" . $menu_pages_menu_title . "</a>";
}
$i++;
}