1: <?php
  2: if (isset($data['id']))
  3: 	$id = $data['id'];
  4: else
  5: 	$id = "pane";
  6: 
  7: echo "<div id=\"pane_".$id."\" class=\"pane_set\">\n";
  8: echo "<div id=\"pane_".$id."_header\" class=\"pane_header\">\n";
  9: 
 10: $first=true;
 11: foreach($data['panes'] as $pid => $pane)
 12: {
 13: 	if ($first)
 14: 	{
 15: 		$first=false;
 16: 		$class="pane_option_selected";
 17: 	}
 18: 	else
 19: 		$class="pane_option";
 20: 	echo "<span id=\"pane_".$id."_".$pid."\" class=\"".$class."\">\n";
 21: 	echo "<a href=\"#\" onclick=\"DESK.paneSwitch('".$id."','".$pid."');\">";
 22: 	echo $pane['title'];
 23: 	echo "</a></span>\n";
 24: }
 25: 
 26: echo "</div>\n";
 27: 
 28: echo "<div id=\"pane_".$id."_content\" class=\"pane_content\">\n";
 29: ?>
 30: