changeset 9238 461fd9e70f3c from Dokeos

skala
Julio Montoya 16 years ago
parent 53a55fc543
commit f512974c15
  1. 12
      main/newscorm/lp_view.php

@ -321,7 +321,8 @@ if($_SESSION['oLP']->mode == 'fullscreen') {
<!-- end media player layaout --> <!-- end media player layaout -->
<!-- toc layout --> <!-- toc layout -->
<div id="toc_id" name="toc_name" style="padding:0;margin-top:20px;height:60%;width:100%"> <div id="toc_id" name="toc_name" style="overflow: auto; padding:0;margin-top:20px;height:60%;width:100%">
<div id="learning_path_toc" style="font-size:9pt;margin:0;"><?php echo $_SESSION['oLP']->get_html_toc(); ?> <div id="learning_path_toc" style="font-size:9pt;margin:0;"><?php echo $_SESSION['oLP']->get_html_toc(); ?>
<!-- log message layout --> <!-- log message layout -->
@ -396,6 +397,9 @@ window.onload = function() {
rightZoneHeightOccupied = docHeight - initialRightZoneHeight; rightZoneHeightOccupied = docHeight - initialRightZoneHeight;
document.body.style.overflow = 'hidden'; document.body.style.overflow = 'hidden';
updateContentHeight(); updateContentHeight();
viewportheight = window.innerHeight;
document.getElementById('toc_id').style.height = viewportheight - 200 + "px";
} }
window.onresize = updateContentHeight; window.onresize = updateContentHeight;
@ -511,7 +515,8 @@ window.onresize = updateContentHeight;
<!-- end media player layaout --> <!-- end media player layaout -->
<!-- toc layout --> <!-- toc layout -->
<div id="toc_id" name="toc_name" style="padding:0;margin-top:20px;height:60%;width:100%"> <div id="toc_id" name="toc_name" style="overflow: auto; padding:0;margin-top:20px;height:60%;width:100%">
<div id="learning_path_toc" style="font-size:9pt;margin:0;"><?php echo $_SESSION['oLP']->get_html_toc(); ?> <div id="learning_path_toc" style="font-size:9pt;margin:0;"><?php echo $_SESSION['oLP']->get_html_toc(); ?>
<?php if (!empty($_SESSION['oLP']->scorm_debug)) { //only show log ?> <?php if (!empty($_SESSION['oLP']->scorm_debug)) { //only show log ?>
@ -586,6 +591,9 @@ window.onload = function() {
rightZoneHeightOccupied = docHeight - initialRightZoneHeight; rightZoneHeightOccupied = docHeight - initialRightZoneHeight;
document.body.style.overflow = 'hidden'; document.body.style.overflow = 'hidden';
updateContentHeight(); updateContentHeight();
viewportheight = window.innerHeight;
document.getElementById('toc_id').style.height = viewportheight - 200 + "px";
//loads the glossary library //loads the glossary library
<?php <?php

Loading…
Cancel
Save