Improved check_cells.

[fa-stable.git] / includes / page / header.inc
diff --git a/includes/page/header.inc b/includes/page/header.inc

index f77de073cb9760b0b9ed161fb4f870aaa95979ee..891083b56bd522e35027a1b8213c7993ca2fba96 100644 (file)
--- a/includes/page/header.inc
+++ b/includes/page/header.inc
@@ -17,7 +17,7 @@ function help_url($title, $app)
         }
         elseif ($title==_("Main Menu"))
         {
-               $help_page_url = $applications[$app];
+               $help_page_url = access_string($applications[$app], true);
         }
         else
         {
@@ -94,6 +94,8 @@ function page_header($title, $no_menu=false, $is_index=false, $onload="", $js=""
         else
                 $sel_app = $def_app;
         $_SESSION["sel_app"] = $sel_app;
+       if (isset($_SESSION["App"]) && is_object($_SESSION["App"]))
+               $_SESSION["App"]->selected_application = $sel_app;
         $encoding = $_SESSION['language']->encoding;
  
         if (!headers_sent()){
@@ -102,11 +104,8 @@ function page_header($title, $no_menu=false, $is_index=false, $onload="", $js=""
         echo "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01 Transitional//EN\" \"http://www.w3.org/TR/html4/loose.dtd\">\n";
         echo "<html dir='" . $_SESSION['language']->dir . "' >\n";
         echo "<head><title>$title</title>";
-       $local_stylesheet = $_SESSION['language']->get_stylesheet();
         echo "<meta http-equiv='Content-type' content='text/html; charset=$encoding'>";
         echo "<link href='$local_path_to_root/themes/$theme/default.css' rel='stylesheet' type='text/css'> \n";
-       if (file_exists($local_path_to_root. "/".$local_stylesheet))
-               echo "<link href='$local_path_to_root/$local_stylesheet' rel='stylesheet' type='text/css'> \n";
         send_scripts($js);
  
         echo "</head> \n";