--- a/check_sections_details.php	Wed May 27 16:13:50 2015 +0200
+++ b/check_sections_details.php	Mon Jun 22 14:27:13 2015 +0200
@@ -178,7 +178,10 @@
         	</div>
 		</div>
 		<div id="panel"></div>
-		<script>var version=<?php echo $version;?>;</script>
+		<script>
+			var version=<?php echo $version;?>;
+			var session_id = <?php echo $_GET['sessionId'];?>;
+		</script>
 
 		<script type="text/javascript">
 		function setCurrentEditor() {
@@ -194,6 +197,7 @@
 		document.getElementById("show_all").onclick = function(){showAll()};
 
 		function showAll() {
+			closeAll();
 			document.getElementById("editor_th").innerHTML = "Editor(version)";
 			document.getElementById("date_th").innerHTML = "Date/Time";
 
@@ -227,7 +231,6 @@
 			document.getElementById("date").innerHTML = "";
 		}
 	
-		
 
 		</script>