--- loncom/interface/lonhtmlcommon.pm	2007/09/05 05:00:24	1.161
+++ loncom/interface/lonhtmlcommon.pm	2007/09/26 12:42:32	1.163
@@ -1,7 +1,7 @@
 # The LearningOnline Network with CAPA
 # a pile of common html routines
 #
-# $Id: lonhtmlcommon.pm,v 1.161 2007/09/05 05:00:24 raeburn Exp $
+# $Id: lonhtmlcommon.pm,v 1.163 2007/09/26 12:42:32 raeburn Exp $
 #
 # Copyright Michigan State University Board of Trustees
 #
@@ -1006,7 +1006,12 @@ sub crumbs {
 	    }	    
             my $href_path = &HTML::Entities::encode($path,'<>&"');
 	    &Apache::loncommon::inhibit_menu_check(\$href_path);
-	    $output.=qq{<a href="$href_path" $target>$dir</a>/};
+	    if ($form) {
+	        my $href = 'javascript:'.$form.".action='".$href_path."';".$form.'.submit();';
+	        $output.=qq{<a href="$href" $target>$dir</a>/};
+	    } else {
+	        $output.=qq{<a href="$href_path" $target>$dir</a>/};
+	    }
 	}
     } else {
 	foreach my $dir (split('/',$uri)) {
@@ -1874,6 +1879,52 @@ END
     return $scripttag;
 }
 
+##############################################
+##############################################
+
+# javascript_window_dims
+#
+# Generates javascript to get the dimensions of the user's browser window.
+
+sub javascript_window_dims {
+    my $scripttag .= <<'END';
+function getDimensions(width,height) {
+    width.value = getWindowWidth();
+    height.value = getWindowHeight();
+    return;
+}
+ 
+function getWindowWidth() {
+  var width = 0;
+  if( document.documentElement && document.documentElement.clientWidth ) {
+    width = document.documentElement.clientWidth;
+  }
+  else if( document.body && document.body.clientWidth ) {
+    width = document.body.clientWidth;
+  }
+  else if( window.innerWidth ) {
+    width = window.innerWidth - 18;
+  }
+  return width;
+}
+
+function getWindowHeight() {
+  var height = 0;
+  if( document.documentElement && document.documentElement.clientHeight ) {
+    height = document.documentElement.clientHeight;
+  }
+  else if( document.body && document.body.clientHeight ) {
+    height = document.body.clientHeight;
+  }
+  else if( window.innerHeight ) {
+    height = window.innerHeight - 18;
+  }
+  return height;
+}
+
+END
+    return $scripttag;
+}
 1;
 
 __END__